GitHub repository: maggesi/fol
Primary language: AMPL
Created: 2017-02-28T14:23:01Z
Description: First Order Logic in Lambda Prolog