Formula -------

Formula is a logic language written in python

Formula allows reasoning in FOL or with Horn Clauses. It allows relations to be read from a database. If supports python extentions to be added to the language via a preprocessor.

URL: formula.sourceforge.net

Categories: Miscellany, Artificial Intelligence

John Thingstad (john.thingstad@chello.no)

-- <a href="formula.sourceforge.net">Formula</a> -- Formula is a logic language written in python