FAQ Database Discussion Community


Fixed Point and Proof theory

logic,proof,logic-programming,first-order-logic
For any given logic program, proof theory of it uses SLD (Selective Linear Definite) resolution to find the satisfiablity of the query. For the same logic program, we can apply fixed point theorem to find the models. My question is, should we consider finding fixed point of logic programs as...

Prolog combinatorics

prolog,logic-programming
Is there any way to generate all possibilities like 9 letters to be divided in 3 teams, like this: - 1st team: 2 letters - 2nd team: 3 letters - 3rd team: 4 letters ? Example: find([a, b, c, d, e, f, g, h, i], T1, T2, T3). T1 =...

What are the main technical differences between Prolog and miniKanren, with respect to logic programming?

prolog,logic-programming,minikanren
When I want to read up on logic programming I always stumble over two "main" ways to do it nowadays: miniKanren, a minilanguage introduced in The Reasoned Schemer and popular at the moment due to core.logic. Prolog, the first "big" logic programming language. What I'm interested in now: What are...

SWI Prolog pass a goal with non-zero arity through the command line arguments

bash,prolog,swi-prolog,logic-programming
SWI Prolog allows the execution of a goal before top level with non zero arity as follows swipl -s consultingfile.pl -g start however when a predicate with non zero arity is specified as follows swipl -s consultingfile.pl -g start(1) It gives an error syntax error near unexpected token '(' What...