IDEAS home Printed from https://ideas.repec.org/a/sae/envirb/v16y1989i2p171-186.html
   My bibliography  Save this article

A Theorem-Proving Approach to Spatial Problem-Solving

Author

Listed:
  • 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)

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.

Suggested Citation

  • C J Webster, 1989. "A Theorem-Proving Approach to Spatial Problem-Solving," Environment and Planning B, , vol. 16(2), pages 171-186, June.
    • Handle: RePEc:sae:envirb:v:16:y:1989:i:2:p:171-186
    DOI: 10.1068/b160171
    as

    Download full text from publisher

    File URL: https://journals.sagepub.com/doi/10.1068/b160171
    Download Restriction: no
    File URL: https://libkey.io/10.1068/b160171?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:sae:envirb:v:16:y:1989:i:2:p:171-186. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: SAGE Publications (email available below). General contact details of provider: .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.