There is a very practical embedable logic-programming engine called miniKanren for many programming languages that can be used to add the logic-programming tech

There is a very practical embedable logic-programming engine called miniKanren for many programming languages that can be used to add the logic-programming techniques of Prolog to other languages. https://en.wikipedia.org/wiki/MiniKanren https://en.wikipedia.org/wiki/MiniKanren There's a great book in the same series as the "Little Lisper"/"Little Schemer" books called "The Reasoned Schemer" that uses MiniKanren with Scheme.