Implementing polymorphic typing in a logic programming language

Reddy, 1988, Notions of polymorphism for predicate logic programs Nadathur, 1988, An overview of λ Prolog, 810 Nadathur, 1992, The type system of a higher-order logic programming language, 245 Dietzen, 1992, Higher-order and modal logic as a framework for explanation-based generalization, Mach. Learn., 9, 23, 10.1007/BF00993253 Felty, 1989, Specifying and Implementing Theorem Provers in a Higher-Order Logic Programming Language Hannan, 1990, Investigating a Proof-theoretic Meta-language for Functional Programs Miller, 1987, A logic programming approach to manipulating formulas and programs, 379 Pfenning, 1988, Partial polymorphic type inference and higher-order unification, 153 Jayaraman, 1991, Implementation techniques for scoping constructs in logic programming, 871 Nadathur, 1989, Towards a WAM model for λ Prolog, 1180 Nadathur, 1993, Scoping constructs in logic programming: implementation problems and their solution Nadathur, 1993, Implementation considerations for higher-order features in logic programming Nadathur, 1990, A representation of lambda terms suitable for operations on their intensions, 341 Kwon, 1992, An instruction set for higher-order hereditary Harrop formulas Hanus, 1989, Horn clause programs with polymorphic types: semantics and resolution, 10.1007/3-540-50940-2_38 Lakshman, 1991, Typed Prolog: a semantic reconstruction of the Mycroft-O'Keefe type system, 202 Mycroft, 1984, A polymorphic type system for Prolog, Artific. Intell., 23, 295, 10.1016/0004-3702(84)90017-1 Smolka, 1988, TEL (Version 0.9), report and users manual Beierle, 1991, Extending the Warren abstract machine to polymorphic order-sorted resolution, 272 Hanus, 1989, Polymorphic higher-order programming in Prolog, 382 Warren, 1983, An abstract Prolog instruction set van Emden, 1976, The semantics of predicate logic as a programming language, Jl ACM, 23, 733, 10.1145/321978.321991 Gordon, 1979 Aït Kaci, 1991 Debray, 1986, Register allocation in a Prolog machine, 267 Kwon, 1991, Implementing logic programming languages with polymorphic typing