On Feb 22, 2014, at 5:51 AM, Josef Urban <josef.urban at gmail.com> wrote: > Isn't Prolog an example how bare classical first-order logic computes? Negation isn’t classical in Prolog. Typically it uses some form of negation as failure, which is non-monotonic. -chris