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
python-announce-list@python.org