Questions tagged [logic-programming]
The logic-programming tag has no usage guidance.
1
question
23
votes
2
answers
6k
views
What makes PROLOG Turing-complete?
I know that it can be proven PROLOG is Turing-complete by constructing a program that simulates a Turing machine like this:
...