XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
A Novel Implementation of the Extended Andorra Model
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
An external module for implementing linear tabling in prolog
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Hi-index | 0.00 |
During the past years, our research group has been working in the design and implementation of Logic Programming Systems. In previous work, we have produced systems to support sequential, parallel and distributed execution of Prolog; to support novel techniques and models, such as tabling, through the YapTab system [1], or the Extended Andorra Model (EAM), through the BEAM [2]; and to support the combination of the above, such as parallel tabling [3]. With the IMPACT project we want to combine the power of tabling with that of EAM in order to produce an execution model with advanced control strategies that guarantees termination, avoids looping, reduces the search space, and is less sensitive to goal ordering. Ultimately, we believe such a system will allow novel logic programming applications.