Regarding the logic library question: If it doesn’t exist, it should be possible to build one a variety of ways. The Reasoned Schemer builds logical reasoning capabilities into Scheme. Chapters 33-34 of PLAI discuss Prolog and implementing Prolog. These authors are building bridges between Scheme and Prolog. The creators of PLT Scheme have built as … Read more
Adventure in Prolog Dennis Merritt | Springer Published in 1990, 186 pages An Introduction to Logic Programming through Prolog Michael Spivey | Prentice Hall Published in 2008, 258 pages Applications of Prolog Attila Csenki | BookBoon Published in 2009, 203 pages Artificial Intelligence through Prolog Neil C. Rowe | Prentice-Hall Published in 1988, 481 pages … Read more
Yes, there is such a control construct in ISO Prolog, called ->. You use it like this: ( condition -> then_clause ; else_clause ) Here is an example that uses a chain of else-if-clauses: ( X < 0 -> writeln(‘X is negative. That’s weird! Failing now.’), fail ; X =:= 0 -> writeln(‘X is zero.’) … Read more
I wouldn’t say that logic programming defines programs through mathematical expressions; that sounds more like functional programming. Logic programming uses logic expressions (well, eventually logic is math). In my opinion, the major difference between functional and logic programming is the “building blocks”: functional programming uses functions while logic programming uses predicates. A predicate is not … Read more
Most of the (earlier) answers here are a reflection of the fact that most people do not know what SQL is (its an implementation of Relational Calculus) or what that means (that it’s a form of Predicate Logic). The following statements are true of both Prolog and SQL: they are both logic-driven they can both … Read more
First, allow me to compliment you on your fine pw0n1e icon. This is a tricky question to answer, largely because there are so many variants of both miniKanren and Prolog. miniKanren and Prolog are really families of languages, which makes it difficult to compare their features, or even how they are used in practice. Because … Read more