A Theorem-Proving Approach to Spatial Problem-Solving

C J Webster
Additional contact information
C J Webster: Wales and South West England Regional Research Laboratory, Department of Town Planning, University of Wales College of Cardiff, PO Box 906, Cardiff CF1 3YU, Wales

Environment and Planning B, 1989, vol. 16, issue 2, 171-186

Abstract: Logic programming is one of a batch of new-generation tools derived from the field of artificial intelligence and presenting new challenges and opportunities to those concerned with managing and processing data. This paper is a review of the underlying theory of logic programming, demonstrating how simple spatial problems may be expressed in the language of logic and then transformed into a syntax suitable for automated theorem proving. The implementation of automated theorem proving as a general purpose logic programming language is illustrated by means of PROLOG and examples of PROLOG applications are drawn from the literature. Logic programming is presented both as an elegant programming language and also as a modelling framework with strong theoretical roots offering a fresh approach to the formulation and solution of spatial problems. Pointers are offered to its potential applications in this field.

Date: 1989
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://journals.sagepub.com/doi/10.1068/b160171 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:sae:envirb:v:16:y:1989:i:2:p:171-186

DOI: 10.1068/b160171

Access Statistics for this article

More articles in Environment and Planning B
Bibliographic data for series maintained by SAGE Publications ().