Scoping Constructs In Logic Programming: Implementation Problems And Their Solution (1995)

Cached

Download Links

by Gopalan Nadathur , Bharat Jayaraman
Citations:21 - 9 self

Documents Related by Co-Citation

490 An abstract Prolog instruction set – D Warren - 1983
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
177 An overview of >'Prolog – Gopalan Nadathur, Dale Miller - 1988
857 A formulation of the simple theory of types – Alonzo Church - 1940
208 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
288 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
148 A logical analysis of modules in logic programming – Dale Miller - 1989
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990