Abstract
The process of Prolog standardisation has disclosed many unexpected problems. One area currently under consideration is the definition of the predicate consult/1 which reads a file and loads the predicates defined there into the database. Although the definition of consult/l was initially simple, implementers have extended and changed its meaning and effect. This paper identifies the requirements for consult/l and poses several questions which must be answered in the standard.
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.
References
BIM Prolog. Belgian Institute of Management. Personal communication from Bart Demoen, Jan 1990.
Carlsson, M. and Widen, J. SICStus Prolog User’s Manual (Clauses 1.2, 1.4, 3.1, 3.2, 4.1.1, 4.12, 4.14). Swedish Institute of Computer Science, Kista, Sweden, 1988.
Clocksin, W. F. and Mellish, C. S. Programming in Prolog (Clauses 5.4.2, 6.1, 7.13, chapter 9). Springer Verlag, 2nd edition, Berlin, 1984.
Hutchings, A. M. J. (editor), Bowen, D. L., Byrd, L., Chung, P. W. H., Pereira, F. C. N., Pereira, L. M., Rae, R. and Warren, D. H. D., Edinburgh Prolog (The New Implementation) User’s Manual — version 1.5 (Clauses 1.3, 1.4, 1.5, 1.6, 3.1, 3.18, 3.19, 3.20, 3.22). AI Applications Institute, University of Edinburgh, 1987.
Pereira, F. (editor), Warren, D. H. D, Bowen, D., Byrd, L. and Pereira, L. C-Prolog User’s Manual- version 1.4 (Clauses 1.4, 1.5, 5.1.1, 5.13), Department of Artificial Intelligence, University of Edinburgh, 1984.
Quintus Computer Systems. Quintus Prolog User’s Guide, Quintus Prolog Reference Manual- version 6 (Clauses — User manual 3.1, 3.5, 3.3, 3.6, II-2; Reference manual 4.5.1, 13.1, 13.7, 17 –4–1; System-dependent features manual 6, 7). Quintus Computer Systems, April 1986.
Scowen, R. S., Consult and reconsult (in WG17 N59, ppl9 –30). International Organization for Standardization and National Physical Laboratory, Tedding ton, April 1990.
Scowen, R. S., Prolog — Draft for working draft 4.0 (WG17 N64), International Organization for Standardization and National Physical Laboratory, Teddington, September 1990.
Wielemaker, J., SWI-Prolog 1.3 Reference Manual, (Clauses 2.4, 3.2, 3.9). University of Amsterdam, The Netherlands, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag London
About this paper
Cite this paper
Scowen, R. (1992). The Predicate consult/1 — A Problem in Prolog Standardisation. In: Wiggins, G.A., Mellish, C., Duncan, T. (eds) ALPUK 91. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3546-3_12
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3546-3_12
Publisher Name: Springer, London
Print ISBN: 978-3-540-19734-8
Online ISBN: 978-1-4471-3546-3
eBook Packages: Springer Book Archive