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

Autori
Schatten, Markus

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
11 th International Conference on Intelligent Engineering Systems Proceedings / Rudas, Imre - Budimpešta : Institute of Electrical and Electronics Engineers (IEEE), 2007, 297-300

ISBN
1-4244-1148-3

Skup
INES2007 11th International Conference on Intelligent Engineering Systems

Mjesto i datum
Budimpešta, Mađarska, 29.06.2007. - 01.07.2007

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
python; f-logic; flora-2; logic programming; integration; ZODB; XSB

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA