> And can you interface to it using Python or some more mainstream languages? You can and should use logic programming that way. There are libraries for doing

> And can you interface to it using Python or some more mainstream languages? You can and should use logic programming that way. There are libraries for doing e.g. networking and user interfaces with Prolog, but it's not a particularly good fit for that kind of programming. Many Prolog implementations are quite easy to embed to other languages and there are logic programming embedded languages for most popular programming languages. miniKanren [0] is a popular embeddable logic programming language. There's a chapter about implementing a logic programming environment in Structure and Interpretation of Computer Programs (SICP), which is pretty straightforward. For my AI courses at the uni years ago, I implemented a simple logic programming environment in Haskell [1]. It was a very fun project and it took me just a few days of work. [0] http://minikanren.org/ http://minikanren.org/ [1] https://github.com/rikusalminen/slolog https://github.com/rikusalminen/slolog