I'd like to create an application that can do simple reasoning using first order logic. Can anyone recommend an "engine" that can accept an arbitrary number of FOL expressions, and allow querying of those expressions (preferably accessible via Python)?
+1
A:
Recipe 303057: Pythologic -- Prolog syntax in Python / http://code.activestate.com/recipes/303057/
The MYYN
2010-02-21 04:38:14
+1
A:
PyLog is a first order logic library including a PROLOG engine in Python.
Eli Bendersky
2010-02-21 04:41:39
+2
A:
Don't query using first-order logic (FOL) unless you absolutely have to: first-order logic is not decidable, but only semi-decidable, and so queries will often, unavoidably not terminate.
Description logic is essentially a decidable fragment of first-order logic, reformulated in a manner that is good for talking about classes of entity and their interrelationships. There are many engines for description logic in Python, for example seth, based on OWL-DL.
If you are really sure that you need the vastness of FOL, then FLiP is worth a look. I've not used it (not really keen on Python, to be honest), but this is a good approach to making logic checking available to a programming language.
Charles Stewart
2010-02-24 22:48:32
It appears that neither Seth nor Flip are under active development. Seth uses Pellet, which appears to still be active, but I'm finding very little documentation on real-world uses for OWL-DL reasoners in general.
Chris S
2010-03-18 17:53:05