24 Oct
2001
24 Oct
'01
7:34 a.m.
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
8214
Age (days ago)
8214
Last active (days ago)
0 comments
1 participants
participants (1)
-
John Thingstad