|
|
A Pragmatic Reconstruction of λProlog
– Catherine Belleannée, Pascal Brisset, Olivier Ridoux
- 1994
|
|
1
|
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
|
|
|
Imagining
– Clp Olivier Ridoux, Olivier Ridoux, Olivier Ridoux, Projet Lande
|
|
|
I R I S a
– Campus Universitaire De, Olivier Ridoux, Projet Lande
- 1994
|
|
|
Imagining CLP(Λ,≡αβ)
– Olivier Ridoux
- 1995
|
|
25
|
The Type System of a Higher-Order Logic Programming Language
– Gopalan Nadathur, Frank Pfenning
- 1992
|
|
25
|
Tabled Higher-Order Logic Programming
– Brigitte Pientka
- 2003
|
|
54
|
Higher-Order Horn Clauses
– Gopalan Nadathur, Dale Miller
- 1990
|
|
6
|
A New Framework for Declarative Programming
– Stacy E. Finkelstein, Peter Freyd, James Lipton
- 2001
|
|
1
|
Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language
– Pascal Brisset
|
|
|
Parametric Polymorphism for Typed Prolog and lambdaProlog
– Pascale Louvet, Olivier Ridoux
- 1996
|
|
3
|
Object-Level Substitution, Unification And Generalization In Meta-Logic
– Chuck C. Liang
- 1995
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
24
|
Extensions and Applications of Higher-order Unification
– Conal M. Elliott
- 1990
|
|
11
|
A typed foundation for directional logic programming
– Uday S. Reddy
- 1992
|
|
10
|
Elimination of Negation in a Logical Framework
– Alberto Momigliano
- 2000
|
|
2
|
Typing Constraint Logic Programs
– Francois Fages, Emmanuel Coquery
|
|
28
|
An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs
– Spiro Michaylov, Frank Pfenning
- 1992
|
