logoalt Hacker News

cess11 • yesterday at 3:39 PM • 1 reply • view on HN

I'm not so sure, because Prolog.

Replies

anon291 • yesterday at 10:59 PM

Prolog is not a theorem prover. Theorem provers are total (I.e. not turing complete)