John McCarthy was the first to recommend using logic in programs with his advice taker proposal. This inspired the logic programming paradigm:
Paul Graham (creator of the hacker news site) has an entire chapter in his book On Lisp on embedding prolog:
Peter Norvig's Paradigms of Artificial Intelligence programming includes an implementation of prolog in Lisp:
Common Lisp relations: an extension of Lisp for logic programming proposed a mechanism for logic programming back in 1988:
Franz. Inc is developing Allegro Prolog as an extension to Common Lisp:
The Clojure programming language includes relational programming functionality through the core/logic module:
Racklog is an embedding of Prolog-style programming in Racket.
The Shen programming languages includes a fully functional embedded prolog system:
CycL is a declarative ontology language based upon classical first-order language which includes support for ontology components including parts and relations:
What is it that we don't get again?