The logic-programming tag has no wiki summary.
2
votes
2answers
113 views
Proper terminology in Prolog/logical programming theory?
I have a good understanding of how to program using logic languages, but I'm currently writing up a paper describing some of my work, and I wanted to ensure that I wasn't abusing the proper ...
0
votes
0answers
60 views
f(n) output of universal program
I have a question concerning an universal program (goto program). Well, let $f(n)$ be the output of an universal goto program $U$ with input $(n,n)$, where the first $n$ describes the encoding and the ...
4
votes
1answer
100 views
What is the state of the art in encapsulated search in functional logic programming?
I am particularly interested in solutions to the problem that encapsulated search can depend on the order of evaluation.
According to [1], encapsulated search in PAKCS depends on the order of ...
6
votes
2answers
392 views
How to implement a prolog interpreter in a purely functional language?
Is there a clear reference, with pseudo-code, on how to go about implementing a Prolog interpreter in a purely functional language? That which I have found so far seems to deal only with imperative ...
10
votes
3answers
396 views
Can constraint satisfaction problems be solved with Prolog?
Is "party attendance" type of problems solvable in Prolog? For example:
Burdock Muldoon and Carlotta Pinkstone both said they would come if Albus Dumbledore came. Albus Dumbledore and Daisy ...
