Datalog, Prolog, Mercury, Eve, RDF/OWL, SparQL, etc.

Fifth generation computing is coming.