Abstract
The Prolog language is a useful tool for geometric and graphics implementations because its primitives, such as unification, match the requirements of many geometric algorithms. We have implemented several problems in Prolog including a subset of the Graphics Kernel Standard, convex hull finding, planar graph traversal, recognizing groupings of objects, and boolean combinations of polygons using multiple precision rational numbers. Certain paradigms, or standard forms, of geometric programming in Prolog are becoming evident. They include applying a function to every element of a set, executing a procedure so long as a certain geometric pattern exists, and using unification to propagate a transitive function. Certain strengths and weaknesses of Prolog for these applications are now apparent.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
Bruderlin, Beat (1985) “Using Prolog for Constructing Geometric Objects Defined by Constraints,” Eurocal 85, Conference Proceedings, Linz, Austria. Institut fü Informatik, ETH Zürich, CH-8092, Zürich, Switzerland
Clocksin, W.F. and Mellish, C.S. (1981) Programming In Prolog, Springer-Verlag, New York.
Coelho, H., Cotta, J.C., and Pereira, L.M. (1980) How to Solve it With Prolog, 2nd edition, Ministerio da Habitacao e Obras Publicas, Labatorio Nacional de Engenharia Civil, Lisboa.
Franklin, Wm. Randolph (July 1980) “A Linear Time Exact Hidden Surface Algorithm,” ACM Computer Graphics, vol. 14, no. 3, pp. 117–123. Proceedings of SIGGRAPH′80
Franklin, Wm. Randolph (19–21 May 1982) “Efficient Polyhedron Intersection and Union,” Proc. Graphics Interface′82, pp. 73–80, Toronto.
Franklin, Wm. Randolph (20–24 August 1984) “Cartographic Errors Symptomatic of Underlying Algebra Problems,” Proc. International Symposium on Spatial Data Handling, vol. 1, pp. 190–208, Zürich, Switzerland.
Franklin, Wm. Randolph and Wu, Peter Y.F. (July 1985) Convex Hull and Polygon Intersection Implemented in Prolog, Rensselaer Polytechnic Institute, Troy, NY.
Gonzalez, J.C., Williams, M.H., and Aitchison, I.E. (March 1984) “Evaluation of the Effectiveness of Prolog for a CAD Application,” IEEE Computer Graphics and Applications, pp. 67–75.
Moss, Chris and Fogel, Earl (June 1985) Tests to Distinguish Various Implementations of Cut in Prolog, Imperial College and Logicware Inc.. Reported on Usenet in Net.lang.Prolog, message-id <1742@utecfa.UUCP>.
Nichols, Margaret (August 1985) The Graphic Kernal System in Prolog, ECSE Dept., Rensselaer Polytechnic Institute, Masters Thesis, Troy, NY.
Roberts, Grant (1984) Waterloo Core Prolog Users Manual (version 1.5), Intralogic Inc., Waterloo, Ont, Canada.
Salford, University of (March 1984), LISP/PROLOG Reference Manual.
Samaddar, Sumitro (August 1985) An Expert System for Photo Interpretation, ECSE Dept., Rensselaer Polytechnic Institute, Masters Thesis, Troy, NY.
Sammut, Claude (1983) UNSW Prolog User Manual, University of New South Wales (Australia).
Spivey, J. M. (March 1983), University of York Portable Prolog System (Release 1) User’s Guide, York, U.K..
Swinson, P.S.G. (March 1982) “Logic Programming: A Computing Tool for the Architect of the Future,” Computer Aided Design, vol. 14, no. 2, pp. 97–104.
Swinson, P.S.G. (November 1983) “Prolog: A Prelude to a New Generation of CAAD,” Computer Aided Design, vol. 15, no. 6, pp. 335–343.
Swinson, P.S.G., Periera, F.C.N., and Bijl, A. (July 1983) “A Fact Dependency System for the Logic Programmer,” Computer Aided Design, vol. 15, no. 4, pp. 235–243.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Tokyo
About this paper
Cite this paper
Franklin, W.R., Nichols, M., Samaddar, S., Wu, P. (1986). Geometry in Prolog. In: Kunii, T.L. (eds) Advanced Computer Graphics. Springer, Tokyo. https://doi.org/10.1007/978-4-431-68036-9_6
Download citation
DOI: https://doi.org/10.1007/978-4-431-68036-9_6
Publisher Name: Springer, Tokyo
Print ISBN: 978-4-431-68038-3
Online ISBN: 978-4-431-68036-9
eBook Packages: Springer Book Archive