CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

authors Elcock, E.W.
year 1983
title How Complete are Knowledge Representation Systems?
source IEEE Computer. IEEE computer society, October, 1983. vol. 16: pp. 114-118. includes bibliography
summary Prolog, the most feasible of the first-order logic systems, has intriguing analogies with Absys, short for Aberdeen System, an assertative programming system developed in 1968. In this article, the issue of incompleteness is explored by comparing aspects of the two systems, and the incompleteness resulting from any serious use of Prolog as a vehicle for a knowledge-based system is addressed
keywords PROLOG, algorithms, knowledge, systems, languages
series CADline
references Content-type: text/plain
last changed 2003/06/02 11:58
HOMELOGIN (you are user _anon_632194 from group guest) Works Powered by SciX Open Publishing Services 1.002