Logic programs with polymorphic types: A condition for static type checking

  • Staffan Bonnier
  • Jonas Wallgren
Applications to Logic Programming, Normalization Strategies and Unification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 656)


This paper describes a polymorphic type system for logic programs. Well-typedness is defined on so-called execution modules of the program, which is shown to yield better results than [7] in many cases. The system is partly implemented.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bonnier, S. A Formal Basis for Horn Clause Logic with External Polymorphic Functions Dissertation, 1992, Linköping UniversityGoogle Scholar
  2. 2.
    Bonnier, S. and Maluszyński, J. Towards a Clean Amalgamation of Logic Programs with External Procedures In: Kowalski, R. A. and Bowen, K. A. (eds.) Proceedings of 5th International Conference and Symposium of Logic Programming 1988Google Scholar
  3. 3.
    Boye, J. S-SLD-resolution — An Operational Semantics for Logic Programs with External Procedures In: Maluszyńsky, J. and Wirsing, M. (eds.) Proceedings of 3rd International Symposium on Programming Language Implementation and Logic Programming 1991Google Scholar
  4. 4.
    Hanus, M. Horn clause programs with polymorphic types: semantics and resolution Theoretical Computer Science 89(1991), pp 63–106Google Scholar
  5. 5.
    Kluźniak, F. and Kågedal, A. Enriching Prolog with S-Unification In: Darlington, J. and Dietrich, R. (eds.) Proceedings of PHOENIX Seminar & Workshop on Declarative Programming 1991Google Scholar
  6. 6.
    Lloyd, J. W. Foundations of Logic Programming, 2nd ed. Springer-Verlag 1987, ISBN 3-540-18199-7Google Scholar
  7. 7.
    Mycroft, A. and O'Keefe, R. A. A Polymorphic Type System for Prolog Artificial Intelligence 23(1984), pp 295–307MathSciNetGoogle Scholar
  8. 8.
    Nilsson, U. Systematic Semantic Approximations of Logic Programs In: Deransart, P. and Maluszynski, J. (eds.) Proceedings of International Workshop on Programming Language Implementation and Logic Programming 1990Google Scholar
  9. 9.
    Pfennig, F. Tutorial on Types in Logic Programming Given at the 7th International Conference on Logic Programming 1990Google Scholar
  10. 10.
    Wallgren, J. Licentiate thesis, To appear (1992), Linköping University (On types and logic programming — No preliminary title yet)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  1. 1.Department of Computer and Information ScienceLinköping UniversityLinköping

Personalised recommendations