Hacker News new | ask | show | jobs
by knome 595 days ago
limited in what sense?

prolog is turing complete.
1 comments
Epa095 595 days ago
He might be thinking about the SLDNF resolution happening. But yes, you can implement any prover in prolog. This distinction is discussed a bit here: https://www.metalevel.at/prolog/theoremproving
link