A logical reconstruction of Prolog II

M. H. van Emden, John W. Lloyd

DOI: 10.1016/0743-1066(84)90001-3

The Journal of Logic Programming

Data up to Jan 2025

Published1984

Citations47

References4

Fields

Computer science Mathematics Programming language Theoretical computer science Combinatorics

Total Citations Per Year

Abstract

References (4)

Foundations of Logic Programming

1984 • 4,311 citations

Predicate Logic as Programming Language.

1974 • 605 citations

Equality for prolog

1983 • 54 citations

A logic data model for the machine representation of knowledge

1985 • 3 citations

Cited By (0)

Loading...