FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine

This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented by translation into XSB, a tabling logic engine that is known for its efficiency and is the only known system that extends the power of Prolog with an equivalent of the Magic Sets style optimization, the well-founded semantics for negation, and many other important features. We discuss the features of XSB that help our effort as well as the areas where it falls short of what is needed. We then describe our solutions and optimization techniques that address these problems and make FLORA much more efficient than other known DOOD systems based on F-logic.

• Type: Conference
• Year: 2000
• Where: CL
• Authors: Guizhen Yang, Michael Kifer
• Keywords: Automated Reasoning, CL 2000, Powerful Dood, Sets Style Optimization, Transaction Logic