Released: Aug 7, 2008
Finite domain first order logic system
View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery
License: GPL
Author: Enrique Perez Arnaud
Tags logic, programming, prolog
0.1.2
Aug 7, 2008
0.1.1
0.1
Jul 30, 2008
Supported by