The Compilation of λProlog and its Execution with MALI (1993)

Cached

Download Links

by Pascal Brisset , Olivier Ridoux

Active Bibliography

A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
2 The Architecture of an Implementation of λProlog: Prolog/Mali – Pascal Brisset, Olivier Ridoux - 1992
Prolog/Mali Reference Manual – Serge Le Huitouze, Olivier Ridoux, Pascal Brisset
I R I S a – Campus Universitaire De, Olivier Ridoux, Projet Lande - 1994
Imagining CLP(Λ,≡αβ) – Olivier Ridoux - 1995
27 The Type System of a Higher-Order Logic Programming Language – Gopalan Nadathur, Frank Pfenning - 1992
26 Tabled Higher-Order Logic Programming – Brigitte Pientka - 2003
6 A New Framework for Declarative Programming – Stacy E. Finkelstein, Peter Freyd, James Lipton - 2001
62 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
1 Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language – Pascal Brisset
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
19 Higher Order Logic – Daniel Leivant - 1994
12 A typed foundation for directional logic programming – Uday S. Reddy - 1992
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
2 Typing Constraint Logic Programs – Francois Fages, Emmanuel Coquery
12 Optimizing Higher-Order Pattern Unification – Brigitte Pientka, Frank Pfenning - 2003
28 An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs – Spiro Michaylov, Frank Pfenning - 1992
12 Compiler Construction in Higher Order Logic Programming – Chuck C. Liang - 2002