Dependencias:
 -- ocaml
 -- make

Compilación:

make

Para crear un ejecutable nativo:
make nc

Ejecutar:
./fol

Formato:
Variables comienzan con una letra mayúscula, funciones y predicados con minúscula.
El or lógico es "|"
El and es "&"
Implica es "=>"
Not es "~"

Ejemplos de fórmulas:

forall[X,Y](p(X,Y))
exists[Y](forall[X](P(X,Y) & ~Q(X,f(Y))))
~p(X) => e(Y)
exists[X](barber(X) & forall[Y]((~shaves(Y,Y) => shaves(X,Y)) & (shaves(X,Y) => ~shaves(Y,Y))))