Design for AKL with intelligent pruning

  • Salvador Abreu
  • Luís Moniz Pereira
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 798)


In this article we discuss issues posed by the introduction of dependency-based search space pruning in an And-Or Tree Rewriting System (AORS), such as AKL and the Extended Andorra Model. A mechanism relying on two simple devices (the alt and other attributes) is presented. The construction and application of alt and other is illustrated in the context of the configuration rewrite rules for AKL.


  1. 1.
    Salvador Abreu, Luís Moniz Pereira, and Philippe Codognet. Improving Backward Execution in Non-deterministic Concurrent Logic Languages. In Ryuzo Hasegawa and Mark Stickel, editors, Workshop on Automated Deduction, Fifth Generation Computer Systems. Institute for New Generation Computing, 1992.Google Scholar
  2. 2.
    Salvador Abreu, Luís Moniz Pereira, and Philippe Codognet. Improving backward execution in the andorra family of languages. In Apt [3], pages 384–398.Google Scholar
  3. 3.
    Krzysztof Apt, editor. Proceedings of the Joint International Conference and Symposium on Logic Programming, Washington, USA, 1992. The MIT Press.Google Scholar
  4. 4.
    M. Bruynooghe and L. M. Peieira. Deduction revision by intelligent backtracking. In J.A. Campbell, editor, Implementations of Prolog. Ellis-Horwood, 1984.Google Scholar
  5. 5.
    C. Codognet and P. Codognet. Non-deterministic stream AND-Parallelism based on intelligent backtracking. In Levi and Martelli [13], pages 63–79.Google Scholar
  6. 6.
    Christian Codognet, Philippe Codognet, and Gilberto File. Yet another intelligent backtracking method. In Kowalski and Bowen [11], pages 447–465.Google Scholar
  7. 7.
    Philippe Codognet and Thierry Sola. Extending the WAM for intelligent backtracking. In Furukawa [8], pages 127–141.Google Scholar
  8. 8.
    Koichi Furukawa, editor. Proceedings of the Eighth International Conference on Logic Programming, Paris, France, 1991. The MIT Press.Google Scholar
  9. 9.
    Seif Haridi and Sverker Janson. Kernel andorra Prolog and its computation model. In Warren and Szeredi [18], pages 31–46.Google Scholar
  10. 10.
    Sverker Janson and Seif Haridi. Programming paradigms of the Andorra kernel language. In Saraswat and Ueda [15], pages 167–186.Google Scholar
  11. 11.
    Robert A. Kowalski and Kenneth A. Bowen, editors. Proceedings of the Fifth International Conference and Symposium on Logic Programming, Seatle, 1988. ALP, IEEE, The MIT Press.Google Scholar
  12. 12.
    V. Kumar and Y.-J. Lin. An intelligent backtracking scheme for Prolog. In Proceedings of the 1987 Symposium on Logic Programming, pages 406–414, San Francisco, August-September 1987. IEEE, Computer Society Press.Google Scholar
  13. 13.
    Giorgio Levi and Maurizio Martelli, editors. Proceedings of the Sixth International Conference on Logic Programming, Lisbon, 1989. The MIT Press.Google Scholar
  14. 14.
    L. M. Pereira and A. Porto. Intelligent backtracking and sidetracking in horn clause programs. Technical Report CIUNL 2/79, Universitade Nova de Lisboa, 1979.Google Scholar
  15. 15.
    Vijay Saraswat and Kazunori Ueda, editors. Logic Programming, Proceedings of the 1991 International Symposium, San Diego, USA, 1991. The MIT Press.Google Scholar
  16. 16.
    Ehud Shapiro, editor. Proceedings of the Third International Conference on Logic Programming, Lecture Notes in Computer Science, London, 1986. Springer-Verlag.Google Scholar
  17. 17.
    David H. D. Warren. The extended andorra model with implicit control. ICLP90 Preconference Workshop, June 1990.Google Scholar
  18. 18.
    David H. D. Warren and Peter Szeredi, editors. Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, 1990. The MIT Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Salvador Abreu
    • 1
  • Luís Moniz Pereira
    • 1
  1. 1.Departamento de InformáticaUniveisidade Nova de LisboaMonte de CaparicaPortugal

Personalised recommendations