Advertisement

IMPACT: Innovative Models for Prolog with Advanced Control and Tabling

(Extended Abstract)
  • Ricardo Rocha
  • Ricardo Lopes
  • Fernando Silva
  • Vítor Santos Costa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3668)

Abstract

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.

Keywords

Search Space Logic Program Execution Model External Module Advance Control 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Rocha, R., Silva, F., Costa, V.S.: YapTab: A Tabling Engine Designed to Support Parallelism. In: Conference on Tabulation in Parsing and Deduction, pp. 77–87 (2000)Google Scholar
  2. 2.
    Lopes, R., Costa, V.S., Silva, F.: A Novel Implementation of the Extended Andorra Model. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 199–213. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Rocha, R., Silva, F., Costa, V.S.: On applying or-parallelism and tabling to logic programs. Journal of Theory and Practice of Logic Programming 5, 161–205 (2005)zbMATHCrossRefGoogle Scholar
  4. 4.
    Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. In: ACM SIGMOD International Conference on the Management of Data, pp. 442–453. ACM Press, New York (1994)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Ricardo Rocha
    • 1
  • Ricardo Lopes
    • 1
  • Fernando Silva
    • 1
  • Vítor Santos Costa
    • 2
  1. 1.DCC-FC & LIACCUniversity of PortoPortugal
  2. 2.COPPE Systems & LIACCFederal University of Rio de JaneiroBrazil

Personalised recommendations