Reasonable Python or how to Integrate F-Logic into an Object-Oriented Scripting Language

摘要

Python is an object-oriented scripting language known for its ability to support various programming paradigms. In Python one can write procedural, functional, object-oriented, and thanks to metaclasses even aspect-oriented code. Even if some efforts were done to support the last major programming paradigm, logic programming is still not supported in a Python programmer friendly way. In this paper a solution that aims on this target using F-Logic (particularly FLORA-2), which syntax is much more compatible with the Python language than traditional Prolog syntax, is presented. In order to make such an integration useful ZODB (Zope Object Base) is used to facilitate permanent storage of Python objects, while the FLORA-2 engine built on XSB is used for reasoning facilities. To take advantage of logic programming concepts like facts, rules, variables or queries, special logical Python object are introduced. In the end some examples of usage are shown and future development guidelines are given.