Volume 4; Issue 1

The Journal of Logic Programming

Volume 4; Issue 1
1

Enumeration operators and modular logic programming

Melvin Fitting
Journal:
The Journal of Logic Programming
Year:
1987
Language:
english
File:
PDF, 756 KB
english, 1987
2

Efficient loop detection in prolog using the tortoise-and-hare technique

Allen Van Gelder
Journal:
The Journal of Logic Programming
Year:
1987
Language:
english
File:
PDF, 670 KB
english, 1987
3

On determining the causes of nonunifiability

P.T. Cox
Journal:
The Journal of Logic Programming
Year:
1987
Language:
english
File:
PDF, 1.74 MB
english, 1987
4

Logic programming and digital circuit analysis

W.F. Clocksin
Journal:
The Journal of Logic Programming
Year:
1987
Language:
english
File:
PDF, 1.59 MB
english, 1987
5

Editorial Board

Journal:
The Journal of Logic Programming
Year:
1987
Language:
english
File:
PDF, 71 KB
english, 1987
7

Prolog for programmers : Feliks Kluzniak and Stanislaw Szpakowicz

Richard Helm, Kim Marriott
Journal:
The Journal of Logic Programming
Year:
1987
Language:
english
File:
PDF, 100 KB
english, 1987