306

Logic Programming in a Fragment of Intuitionistic Linear Logic
– Joshua S. Hodas, Dale Miller

86

Modularity In Logic Programming
– Michele Bugliesi, Evelina Lamma, Paola Mello
 1993

10

Elimination of Negation in a Logical Framework
– Alberto Momigliano
 2000


A Proposal for Modules in λProlog: Preliminary Draft
– Dale Miller

11

Adding NegationasFailure to Intuitionistic Logic Programming
– Anthony J. Bonner, L. Thorne Mccarty
 1992


ExplanationBased Learning in Logic Programming Extended Abstract
– Scott Dietzen, Frank Pfenning
 1989

3

A Proposal for Modules in λProlog
– Dale Miller
 1993

4

A Proposal for Modules in λProlog
– Dale Miller
 1993

2

Logic Programming and Logic Grammars with Binarization and Firstorder Continuations
– Paul Tarau, Veronica Dahl
 1994

4

A Survey of Linear Logic Programming
– Dale Miller
 1995

28

Representing Objects in a Logic Programming Language with Scoping Constructs
– Joshua S. Hodas, Dale Miller
 1990

155

Higherorder logic programming
– Gopalan Nadathur, Dale Miller

7

An Overview of Linear Logic Programming
– Dale Miller
 1985

2

Circumscribing Embedded Implications (Without Stratifications)
– L. Thorne Mccarty
 1992

6

A Logical Semantics For Hypothetical Rulebases With Deletion
– Anthony J. Bonner
 1997

5

Intuitionistic Deductive Databases And The Polynomial Time Hierarchy
– Anthony J. Bonner
 1997

64

Lexical scoping as universal quantification
– Dale Miller
 1989


A Declarative Alternative to "assert" in Logic Programming
– Scott Dietzen And, Scott Dietzen, Frank Pfenning
 1991

4

Proof Procedures for Logic Programming
– Donald W. Loveland, Donald W. Loveland, Gopalan Nadathur, Gopalan Nadathur
 1994
