[FOM] Alternative foundations?

Christopher Menzel cmenzel at tamu.edu
Sun Feb 23 21:28:25 EST 2014

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.


More information about the FOM mailing list