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.
prolog looks like a third way, not C and not Lisp.