/fol

First Order Logic in Lambda Prolog

Primary LanguageAMPL

Watchers