[Web Site] Formula

Wed, 24 Oct 2001 10:34:22 -0400 (EDT)

                                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