Volume 14; Issue 1-2

The Journal of Logic Programming

Volume 14; Issue 1-2
1

Editorial Board

Journal:
The Journal of Logic Programming
Year:
1992
Language:
english
File:
PDF, 70 KB
english, 1992
2

Parallel bottom-up processing of datalog queries

Sumit Ganguly, Avi Silberschatz, Shalom Tsur
Journal:
The Journal of Logic Programming
Year:
1992
Language:
english
File:
PDF, 1.93 MB
english, 1992
3

What should a database know?

Raymond Reiter
Journal:
The Journal of Logic Programming
Year:
1992
Language:
english
File:
PDF, 1.95 MB
english, 1992
4

On rewrite programs: Semantics and relationship with prolog

Maria Paola Bonacina, Jieh Hsiang
Journal:
The Journal of Logic Programming
Year:
1992
Language:
english
File:
PDF, 1.86 MB
english, 1992
5

On Van Gelder's loop detection algorithm

Dimiter Skordev
Journal:
The Journal of Logic Programming
Year:
1992
Language:
english
File:
PDF, 159 KB
english, 1992
6

Van Gelder's response

A. Van Gelder
Journal:
The Journal of Logic Programming
Year:
1992
Language:
english
File:
PDF, 63 KB
english, 1992
7

Proving termination properties of prolog programs: A semantic approach

Marianne Baudinet
Journal:
The Journal of Logic Programming
Year:
1992
Language:
english
File:
PDF, 2.11 MB
english, 1992
8

Efficient run-time type checking of typed logic programs

Philip W. Dart, Justin Zobel
Journal:
The Journal of Logic Programming
Year:
1992
Language:
english
File:
PDF, 3.08 MB
english, 1992