Hacker News new | ask | show | jobs
by daniel-cussen 1516 days ago
I want to believe in prolog. I'm having trouble, like pg saying the definition of append is really really good and it's all downhill from there. Also Jet Propulsion Laboratory has a prolog dialect that's non-turing complete for its inspection of its internal systems.

prolog looks like a third way, not C and not Lisp.