|
|
|
|
|
|
by jhbadger
695 days ago
|
|
|
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 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. |
|
|