Reasonable Python is a Python module which adds
logic programming constructs borrowed from
F-Logic. It's build upon the Flora-2 and XSB
engines and uses ZODB for permanent knowledgebase
storage. Usage possibilities include knowledge
bases, ontology management and semantic web
applications.