Volume 1; Issue 2

The Journal of Logic Programming

Volume 1; Issue 2
1

A logical reconstruction of Prolog II

M.H. van Emden, J.W. Lloyd
Journal:
The Journal of Logic Programming
Year:
1984
Language:
english
File:
PDF, 447 KB
english, 1984
2

Oriented equational clauses as a programming language

Laurent Fribourg
Journal:
The Journal of Logic Programming
Year:
1984
Language:
english
File:
PDF, 844 KB
english, 1984
3

Equality, types, modules, and (why not?) generics for logic programming

Joseph A. Goguen, José Meseguer
Journal:
The Journal of Logic Programming
Year:
1984
Language:
english
File:
PDF, 2.19 MB
english, 1984
4

Logical levels of problem solving

Leon Sterling
Journal:
The Journal of Logic Programming
Year:
1984
Language:
english
File:
PDF, 1.02 MB
english, 1984