Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs
Abstract elided by the publisher.
Related papers
- On the Occur-Check-Free Prolog Programs TOPLAS 1994
- Logic and Inheritance POPL 1986
- Principles and Practice of Unification Factoring TOPLAS 1996
- Moded Type Systems for Logic Programming POPL 1989
- Type Analysis of Prolog Using Type Graphs PLDI 1994
- Unification Factoring for Efficient Execution of Logic Programs POPL 1995
- Parsing and Compiling Using Prolog TOPLAS 1987
- The Duality of Subtyping ECOOP 2020