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.
Categories: Miscellany, Artificial Intelligence
John Thingstad (email@example.com)
-- <a href="formula.sourceforge.net">Formula</a> -- Formula is a logic language written in python