Volume 6; Issue 1-2

The Journal of Logic Programming

Volume 6; Issue 1-2
1

Editorial Board

Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 72 KB
english, 1989
2

Guest editors

Seif Haridi, Robert Keller
Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 111 KB
english, 1989
3

Extending SLD resolution to equational horn clauses using E-unification

Jean H Gallier, Stan Raatz
Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 2.86 MB
english, 1989
4

Prolog: subsumption of equality axioms by the homogeneous form

E.W. Elcock
Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 654 KB
english, 1989
5

An implementation of narrowing

Alan Josephson, Nachum Dershowitz
Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 1.47 MB
english, 1989
6

Compiling control

Maurice Bruynooghe, Danny De Schreye, Bruno Krekels
Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 1.78 MB
english, 1989
7

Metainterpreters for expert system construction

Leon Sterling, Randall D. Beer
Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 1.22 MB
english, 1989
8

A logical analysis of modules in logic programming

Dale Miller
Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 2.19 MB
english, 1989
9

Negation as failure using tight derivations for general logic programs

Allen Van Gelder
Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 1.65 MB
english, 1989
10

A high-performance low risc machine for logic programming

J.W Mills
Journal:
The Journal of Logic Programming
Year:
1989
Language:
english
File:
PDF, 2.28 MB
english, 1989