Sciweavers

Share
CL
2000
Springer

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

12 years 1 months ago
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.
Guizhen Yang, Michael Kifer
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where CL
Authors Guizhen Yang, Michael Kifer
Comments (0)
books