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.
Get full access to this article
View all access options for this article.
References
1.
BlackW J, 1986Intelligent Knowledge-based Systems (Van Nostrand Reinhold, Wokingham, Berks)
2.
CharniakEMcDermottD, 1985Introduction to Artificial Intelligence (Addison-Wesley, Reading, MA)
3.
ChenG, 1985, “The design of a spatial database management system”, in Proceedings, Auto Carto 7 held in Washington, DC (American Society of Photogrammetry and Remote Sensing and American Congress on Surveying and Mapping, Falls Church, VA) pp 423–432
4.
ChenG, 1986, “A rule-based approach for spatial object modelling and task management”, in Proceedings, Auto Carto London held 14–19 September, London (Auto Carto London Ltd and Royal Institute of Chartered Surveyors, London) pp 588–597
5.
ChikayamaT, 1983, “ESP—extended self-contained Prolog—as a preliminary kernel of fifth generation computers”New Generation Computing111–24
6.
ClarkK LGregoryS, 1985, “Notes on the implementation of PARLOG”Journal of Logic Programming217–42
7.
ClocksinW FMellishC G, 1984Programming in Prolog2nd edition (Springer, Berlin)
8.
CullenI, 1986, “Expert systems in planning analysis”Town Planning Review57239–251
9.
DavisJ RGrantI W, 1987, “ADAPT: A knowledge-based decision support system for producing zoning schemes”Environment and Planning B: Planning and Design1653–66
10.
DavisJ RCompagnoniP TNanningaP M, 1987, “Roles for knowledge-based systems in environmental planning”Environment and Planning B: Planning and Design16239–254
11.
DiamondJ TWrightJ R, 1988, “Design of an integrated spatial information system for multiobjective land-use planning”Environment and Planning B: Planning and Design15205–214
12.
FranklinW RWuP Y F, 1987, “A polygon overlay system in prolog”, in Proceedings, Auto Carto 8 held in Baltimore, MD, 29 March-3 April (American Society of Photogrammetry and Remote Sensing and American Congress on Surveying and Mapping, Falls Church, VA) pp 97–106
13.
FranklinW RWuP Y FSamaddarSNicholsM, 1986, “PROLOG and geometry projects”IEEE Computer Graphics and Applications646–55
14.
GaheganM NRobertsS A, 1988, “An intelligent, object-oriented geographica information system”International Journal of Geographic Information Systems2101–110
15.
GallaireHMinkerJ (Eds), 1978Logic and Data Bases (Plenum Press, New York)
16.
GonzalezJ CWilliamsM HAitchinsonI E, 1984, “Evolution of the effectiveness of PROLOG for a CAD application”IEEE Computer Graphics and Applications467–75
17.
IngramK JPhillipsW W, 1987, “Geographical information processing using an SQL based query language”Proceedings, Auto Carto 8 held in Baltimore, MD, 29 March-3 April (American Society of Photogrammetry and Remote Sensing and American Congress on Surveying and Mapping, Falls Church, VA) pp 326–335
18.
JacksonP, 1986Introduction to Expert Systems (Addison-Wesley, Reading, MA)
19.
LloydJ W, 1984Foundations of Logic Programming (Springer, New York)
20.
MalpasJ, 1987PROLOG: A Relational Language and its Applications (Prentice-Hall, Englewood Cliffs, NJ)
MasserI, 1987, “The regional research laboratory initiative: the experience of the trial phase”, Economic and Social Research Council, Cherry Orchard East, Kembrey Park, Swindon SW2 6UQ, Wilts
23.
Moto-OkaT, 1985, “Challenge for knowledge information processing systems”, in The Fifth Generation Computer: The Japanese Challenge (John Wiley, New York) pp 3–92
24.
MullerJ CJohnsonR DVanzellaL R, 1986, “A knowledge-based approach developing cartographic expertise”, in Proceedings, 2nd International Symposium on Spatial Data Handling held in Seattle, WA (International Geographical Union, Williamsville, NY) pp 557–571
25.
RobinsonJ A, 1965, “A machine-oriented logic based on the resolution principle”Journal of the ACM1223–41
26.
RobinsonV BFrankA U, 1987, “Expert systems applied to problems in geographic information systems”, in Proceedings, Auto Carto 8 held in Baltimore, MD, 29 March-3 April (American Society of Photogrammetry and Remote Sensing and American Congress on Surveying and Mapping, Falls Church, VA) pp 510–519
27.
SeidmanS B, 1987, “Relational models for social systems”Environment and Planning B: Planning and Design16135–148
28.
ShaferD, 1987Advanced Turbo Prolog Programming (Howard W Sams, Indianapolis, IN)
29.
SimmonsR F, 1984Computations from the English (Prentice-Hall, Englewood, Cliffs, NJ)
ZanioloC, 1984, “Object-oriented programming in Prolog”, in Proceedings, International Symposium on Logic Programming held in Atlantic City, NJ, 6–9 February (IEEE Computer Society Press, New York) pp 265–271
