The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Questions tagged [logic-programming]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
15
votes
2answers
4k 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: ...