Paul Brna
Computing Department
Lancaster

Prolog

Anjewierden, A. (1986).

PCE-Prolog 1.0beta Reference Manual. Esprit Project 1098, University of Amsterdam.

Arity Corporation. (1986).

Arity/Prolog Programming Language.

Balbin, I. and Lecot, K. (1985).

Logic Programming: A Classified Bibliography. WildGrass Books, Australia.

Bobrow, D. G. (1984).

If Prolog is the answer, what is the question? In Proceedings of ICOT. European Conference on Artificial Intelligence.

Borland International, Scotts Valley, California. (1986).

Turbo Prolog: The Natural Language of Artificial Intelligence.

Bowen, D.L., (ed.). (1981).

DECSystem-10 Prolog User's Manual. Department of Artificial Intelligence, Edinburgh, Available as Occasional Paper No 27.

Bowles, A.W. and Wilk, P.F. (1988).

Some design principles for prolog support environments. Technical report, Artificial Intelligence Applications Institute, Edinburgh, Submitted for publication.

Bowles, A.W. (1988).

Enhancing Prolog programming environments. Project Report AIAI-PR-16, Artificial Intelligence Applications Institute, Edinburgh.

Brayshaw, M. and Eisenstadt, M. (1989).

A practical tracer for Prolog. Technical Report 42, Human Cognition Research Laboratory, The Open University, Submitted to the International Journal of Man-Machine Studies.

Brayshaw, M. (1993).

MRE: A flexible and customisable program visualisation architecture. In Diaper, D. et al, (ed.), People and Computers VIII. Cambridge University Press.

Briggs, J.H. (1988).

Why teach PROLOG? the uses of PROLOG in education. In Nichol, J., Briggs, J. and Dean, J., (eds.), PROLOG, Children and Students, chapter 11, pages 113-120. Kogan Page, London.

Brna, P. (1988c).

Improving Prolog environments: A review of available tools. Research Paper 386, Department of Artificial Intelligence, Edinburgh, to appear in Implementations of Prolog Volume II eds P.Cox and J. Campbell.

Brna, P. (1988e).

Shortcomings in Prolog environments. AISB Quarterly, Summer(64).

Brna, P. (1988f).

Tools for programming in a constructive logic framework. Blue Book Note 396, Department of Artificial Intelligence, Edinburgh.

Brna, P. (1989b).

The symptom of (apparent) non-termination seen in terms of building the execution tree. Blue Book Note 480, Department of Artificial Intelligence, Edinburgh.

Brna, P. (1991e).

Teaching prolog techniques. In Bottino, R.M., Forcheri, P. and Molfino, T. M, (eds.), Proceedings of PEG'91: Knowledge-Based Environments for Teaching and Learning, pages 647-654, Rapallo.

Brough, D.R. and Hogger, C.J. (1986).

The treatment of loops in logic programming. Research Report DoC 86/16, Department of Computing, Imperial College of Science and Technology.

Brough, D. R. and Walker, A. (December 1983).

Some practical properties of logic programming interpreters. Research Report 83/34, Department of Computing, Imperial College.

Bruynooghe, M., Janssens, G., Callebaut, A. and Demoen, B. (1987).

Abstract Interpretation: Towards the global optimization of Prolog Programs. In Computer Society Press of the IEEE, (ed.), Proceedings of the 1987 Logic Programming Symposium, pages 192-204, San Francisco. IEEE.

Bundy, A. (1984a).

Simple Prolog prototypes. Code Note 6, Department of Artificial Intelligence, Edinburgh.

Bundy, A. (1984b).

What stories should we tell Prolog students? Working Paper 156, Department of Artificial Intelligence, Edinburgh.

Bundy, A. (1985a).

More Prolog prototypes. Code Note 9, Department of Artificial Intelligence, Edinburgh.

Bundy, A. (1985b).

Teaching AI programming to non-scientists. In Proceedings of the 2nd International Conference on Artificial Intelligence and Education, pages 16-19, University of Exeter.

Bundy, A. (1986a).

Another classification of Prolog code errors. Blue Book Note 328, Department of Artificial Intelligence, Edinburgh.

Bundy, A. (1986b).

Debugging strategies in Prolog. Blue Book Note 324, Department of Artificial Intelligence, Edinburgh.

Bundy, A. (1986c).

How should we evaluate Prolog environments. Blue Book Note 289, Department of Artificial Intelligence, Edinburgh.

Bundy, A. (1986d).

A Prolog environment tool for recording the semantics of predicates. Blue Book Note 307, Department of Artificial Intelligence, Edinburgh.

Bundy, A. (1986e).

Recursive programming techniques. Blue Book Note 348, Department of Artificial Intelligence, Edinburgh.

Bundy, A. (1988a).

A broader interpretation of logic in logic programming. In Bowen, R. K. & Kowalski, (ed.), Proceedings of the Fifth International Logic Programming Conference/ Fifth Symposium on Logic Programming, Cambridge MA. MIT Press.

Bundy, A. (1988b).

Proposal for a recursive techniques editor for Prolog. Research Paper 394, Department of Artificial Intelligence, Edinburgh, Submitted to the special issue of Instructional Science on Learning Prolog: Tools and Related Issues.

Bundy, A., Pain, H., Brna, P. and Lynch, L. (1985).

A proposed Prolog story. Research Paper 283, Department of Artificial Intelligence, Edinburgh.

Bundy, A., Pain, H. and Brna, P. (1988).

Evaluating Prolog Environments: A progress report. Research Paper 351, Department of Artificial Intelligence, Edinburgh, A version of this report is to appear in the proceedings of the UK IT 88 conference.

Bundy, A., Grosse, G. and Brna, P. (1991).

A recursive techniques editor for Prolog. Instructional Science, 20(2/3):135-172.

Burnham, W.D. and Hall, A.R. (1985).

Prolog Programming and Applications. Macmillan.

Byrd, L. (1980).

Understanding the control flow of PROLOG programs. In Tarnlund, S., (ed.), Proceedings of the Logic Programming Workshop, pages 127-138. Available from Edinburgh as Research Paper 151.

Callebaut, A. (1987).

The BIM_Prolog debugger tool. BIM_Prolog Working Document.

Chung, P., (ed.). (1986a).

Edinburgh Prolog: The New Implementation (NIP) User's Manual. Artificial Intelligence Applications Institute, University of Edinburgh.

Clark, K.L. and McCabe, F.G. (1984).

micro-Prolog: Programming in Logic. Prentice Hall.

Clark, K.L. (1978).

Negation as failure. In Gallaire, H. and Minker, J., (eds.), Logic and Data Bases, pages 293-322. Plenum Press.

Clark, K., McCabe, F., Johns, N. and Spenser, C., (eds.). (1988).

LPA MacPROLOG Reference Manual. Logic Programming Associates, London, England.

Clocksin, W. F. and Mellish, C. S. (1981).

Programming in Prolog. Springer Verlag.

Clocksin, W.F. and Mellish, C.S. (1984).

Programming in Prolog. Springer Verlag.

Colmerauer, A. (July 1983).

Prolog in 10 figures.

Conlon, T. and Gregory, S. (1992).

Debugging tools for parlog. The Computer Journal, 35(2):157-169.

Conlon, T. (1985).

Start Problem Solving with Prolog. Addison Wesley.

Covington, M. A. (1985).

Eliminating unwanted loops in Prolog. SIGPLAN Notices, 20(1).

Dayantis, G. (June 1987).

Types, modularization and abstraction in logic programming. Cognitive Science Research Paper CSPR-089, Cognitive Studies Programme, University of Sussex.

Debray, S. (1987).

Flow analysis of a simple class of dynamic logic programs. In Computer Society Press of the IEEE, (ed.), Proceedings of the 1987 Logic Programming Symposium, pages 307-317, San Francisco. IEEE.

Demoen, B., (ed.). (1986).

BIM_Prolog Manual. BIM, Everberg, Belgium.

Deransart, P. and Ferrand, G. (1987).

Logic Programming: Methodology and teaching. A note for the AFNOR-BSI Prolog standardisation groups.

Dershowitz, N. and Lee, Y. (1987).

Deductive debugging. In Computer Society Press of the IEEE, (ed.), Proceedings of the 1987 Logic Programming Symposium, pages 298-306, San Francisco. IEEE.

Dewar, A.D. and Cleary, J.G. (1986).

Graphical display of complex information within a Prolog debugger. International Journal of Man Machine Studies, 25:503-511.

Dichev, C. and du Boulay, B. (1988a).

A data tracing system for Prolog novices. Serial No CSRP 113, School of Cognitive Studies, University of Sussex.

Dichev, C. and du Boulay, B. (1988b).

A data tracing system for Prolog novices. In O'Shea, T. and Sgurev, V., (eds.), Artificial Intelligence III: Methodology, Systems, Applications, Amsterdam. North-Holland.

de Bruijn, N.G. (1980).

A survey of the project AUTOMATH. In Seldin, J.P. and Hindley, J.R., (eds.), To H. B. Curry: Essays in Combinatoric Logic, Lambda Calculus and Formalism, pages 589-606. Academic Press.

Drabent, W. (1987).

Do logic programs resemble programs in conventional languages? Research Report LITH-IDA-R-87-01, Department of Computer and Information Science, Linkoeping University, Sweden.

Drabent, W., Nadjm-Tehrani, S. and Maluszynski, J. (1988).

Algorithmic debugging with assertions. In Lloyd, J.W., (ed.), Proceedings of the Workshop on Meta Programming in Logic Programming, pages 365-378, Bristol.

Ducasse, M. and Emde, A. (1987).

State of the art in automated program debugging. Technical Report TR-LP-25, European Computer Industry Research Center, Munich, West Germany, A shorter version is published in the proceedings of the 10th conference on Software Engineering in April 1988 under the title `A Review of Automated Debugging Systems: Knowledge, Strategies and Techniques'.

Ducasse, M. and Emde, A. (December 1989).

A survey of automated bug location. Internal Report IR-LP-31-23, European Computer Research Centre, Munich, West Germany.

Ducasse, M. (1985).

Analysis of some Prolog debugging tools. Technical Report LP-5.1, European Computer Industry Research Center, Munich, West Germany.

Ducasse, M. (1986).

Opium: A sophisticated tracing tool for Prolog. TREGASEL.

Ducasse, M. (1987).

Opium: A Prolog tracing tool providing debugging scenarios. Internal Report LP-3108, European Computer Industry Research Center, Munich, West Germany.

Ducasse, M. (1988).

Opium+, a meta-interpreter for Prolog. In Kodratoff, Y., (ed.), ECAI 88: Proceedings of the 8th European Conference on Artificial Intelligence, pages 272-277, London. Pitman Publishing.

Ducasse, M. (1992).

Un analyseur de trace extensible pour l'automatisation du debogage. Unpublished Ph.D. thesis, l'Universite de Rennes I.

Ehrlich, K. (April 1982).

Apes: A detailed description. Research Report 236, Department of Computer Science, Yale University.

Eisenstadt, M. and Brayshaw, M. (1986).

The Transparent Prolog Machine TPM: An execution model and graphical debugger for logic programming. Technical Report 21, Human Cognition Research Laboratory, The Open University.

Eisenstadt, M. and Brayshaw, M. (1987a).

An Integrated Textbook, Video, and Software Environment for Novice and Expert Prolog Programmers. Technical Report 23, Human Cognition Research Laboratory, The Open University.

Eisenstadt, M. and Brayshaw, M. (1987b).

TPM revisited. Technical Report 21a, Human Cognition Research Laboratory, The Open University, An extended version of technical report 21 to appear in the Journal of Logic Programming.

Eisenstadt, M. and Brayshaw, M. (1988a).

Adding data and procedure abstraction to the Transparent Prolog Machine TPM. Technical Report 31, Human Cognition Research Laboratory, The Open University.

Eisenstadt, M. and Brayshaw, M. (1988b).

Declarative debugging with the Transparent Prolog Machine TPM. Submitted to the European Conference on Artificial Intelligence.

Eisenstadt, M. and Brayshaw, M. (1988c).

An Integrated Textbook, Video, and Software Environment for Novice and Expert Prolog Programmers. In Soloway, E. and Spohrer, J., (eds.), Studying the Novice Programmer. LEA, Hillsdale, NJ.

Eisenstadt, M. and Brayshaw, M. (1988d).

The Transparent Prolog Machine TPM: An execution model and graphical debugger for logic programming. Journal of Logic Programming, 5(4):277-342.

Eisenstadt, M. and Brayshaw, M. (1990).

A fine-grained account of Prolog execution for teaching and debugging. Instructional Science, 19(4/5):407-436.

Eisenstadt, M. (1984a).

List of Prolog bugs. unpublished communication.

Eisenstadt, M. (1984b).

A powerful Prolog trace package. In O'Shea, T., (ed.), ECAI-84: Advances in Artificial Intelligence. Elsevier Science Publishers.

Eisenstadt, M. (1985).

Retrospective zooming: A knowledge based tracking and debugging methodology for logic programming. In Joshi, A., (ed.), Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Altos, Ca. Morgan Kaufmann.

Eisenstadt, M., (ed.). (1988).

Intensive Prolog. Associate Student Office (Course PD622), The Open University Press.

Eisenstadt, M., Hasemer, T. and Kriwaczek, F. (1984).

An improved user interface for PROLOG. INTERACT-84, IFIP conference on Human-Computer Interaction.

Eisenstadt, M., Hasemer, T. and Brayshaw, M. (1985).

An advanced graphical tracing/debugging environment for Prolog. unpublished Project Proposal.

Emde, A. and Ducasse, M. (May 1990).

Automated debugging of non-terminating programs. In Proceedings of Seminaire de Programmation en logique de Tregastel, France.

Ennals, J.R. and Briggs, J.H. (1984).

Introducing micro-Prolog into the classroom. Technical report, Department Of Computing, Imperial College.

Ennals, J.R. (1982).

Beginning micro-Prolog. Ellis Horwood, Chichester.

Ennals, J. R. (December 1984).

Context and customs: the beginnings of Prolog cultures. Presented at the British Psychological Society London Conference.

Ennals, R., Briggs, J. and Brough, D. (1984).

What the naive user wants from Prolog. obtained from Imperial College of Science and Technology.

Expert Systems International, Oxford, England. (1986a).

Prolog-2 Language Reference Manual.

Expert Systems International, Oxford, England. (1986b).

Prolog-2 Options Manual.

Ferrand, G. (1985).

Error diagnosis in Logic Programming: An adaptation of E.Y. Shapiro's method. RR 375, INRIA.

Fogel, E., (ed.). (September 1985).

MProlog Documentation: MProlog Language Reference. Epsilon, Kurfurstendamm 188/189, Berlin.

French, P. and Clark, K., (eds.). (1985).

LPA MacPROLOG User Guide. Logic Programming Associates, London, England.

Giannesini, F., Kanoui, H., Pasero, R. and van Caneghem, M. (1986).

PROLOG. Addison-Wesley.

Hammond, P. (1982).

Apes: A detailed description. DoC Report 82/10, Department of Computing, Imperial College.

Hogger, C. (1984).

Introduction to Logic Programming. Academic Press.

Holman, C., Borning, A., Kahn, K. and Miller, M. (1986).

Constraints and logic programming.

Huntbach, M. (1987).

Algorithmic parlog debugging. In Computer Society Press of the IEEE, (ed.), Proceedings of the 1987 Logic Programming Symposium, pages 288-297, San Francisco. IEEE.

Hutchings, A.M.J., (ed.). (June 1987).

Edinburgh Prolog v1.5: The New Implementation (NIP) User's Manual. Artificial Intelligence Applications Institute, University of Edinburgh.

IBM. (1985).

VM/Programming in Logic: Program Description/Operations Manual.

InterFace GmbH, Munich. (1986).

IF/Prolog version 3.1.0 Reference Manual.

Logic Programming Associates, London, England. (1987).

LPA MacPROLOG Enbvironment Guide.

Kahn, K.M. and Carlsson, M., (eds.). (1983).

LM-Prolog User Manual: Release 1.0. Uppsala Programming Methodology and Artificial Intelligence Laboratory, Department of Computing Science, Uppsala University, Sweden.

Kahn, K.M. (1983).

Unique features of lisp machine Prolog. Technical Report 15, Uppsala Programming Methodology and Artificial Intelligence Laboratory, Department of Computing Science, Uppsala University, Sweden.

Kanemori, T. and Horiuchi, K. (1987).

Construction of logic programs based on generalised unfold/fold rules. In Lassez, J., (ed.), Logic Programming: Proceedings of the Fourth International Conference. MIT Press.

Kluzniak, F. and Szpakowicz, S. (1985).

Prolog for Programmers. Academic Press.

Kluzniak, F. (1987).

Type synthesis for ground Prolog. In Lassez, J., (ed.), Logic Programming: Proceedings of the Fourth International Conference. MIT Press.

Kriwaczek, F. and McCabe, F. (December 1984).

Design of an environment for sigma Prolog. Presented at the British Psychological Society London Conference.

Lahkotia, A., Bowen, D. and Venken, R. (1989).

Proceedings of the NACLP'89 workshop on logic programming environments: The next generation. CACS TR-89-5-3, The Center for Advanced Computer Studies, University of Southwestern Louisiana.

Lloyd, J.W. (1984).

Foundations of Logic Programming. Springer-Verlag.

Lloyd, J.W. (1986).

Declarative error diagnosis. Technical Report 86/3, Department of Computer Science, University of Melbourne.

Lloyd, J.W. (1987).

Foundations of Logic Programming. Springer-Verlag, 2 edition.

Manna, Z. and Waldinger, R. (1990).

The Logical Basis for Computer Programming, volume Deductive Systems. Addison-Wesley, Reading, Mass.

Mannila, H. and Ukkonen, E. (1987).

Flow analysis of Prolog Programs. In Computer Society Press of the IEEE, (ed.), Proceedings of the 1987 Logic Programming Symposium, pages 205-214, San Francisco. IEEE.

McCabe, F., Thwaites, G., Ramsay, A. and Wilk, P.F. (1986).

Logic Programming Environment. A Submission to the Alvey IKBS Directorate.

Mellish, C.S. (1985).

Some global optimizations for a Prolog compiler. Journal of Logic Programming, 2(1).

Mellish, C.S. (1987).

Abstract interpretation of Prolog programs. In Abramsky, S. and Hankin, C., (eds.), Abstract Interpretation of Declarative Languages. Ellis Horwood.

Moss, C. (1984).

Declarative Input/Output in Prolog.

Moss, C. (1986).

Cut and paste -defining the impure primitives of Prolog. In Shapiro, E., (ed.), Third International Conference on Logic Programming. Springer Verlag. Lecture Notes in Computer Science No. 225.

Mycroft, A. and O'Keefe, R.A. (August 1984).

A polymorphic type system for Prolog. Artificial Intelligence, 23(3):295-307. Earlier version available from Edinburgh as Research Paper 211.

Nadjm-Tehrani, S. (1990).

Debugging Prolog programs declaratively. In Bruynooghe, M., (ed.), Proceedings of the 2nd Workshop on Meta-Programming in Logic, pages 137-155.

Naish, L., (ed.). (1984a).

Mu-Prolog 3.1db Reference Manual. Department of Computer Science, Melbourne University.

Naish, L. (1984b).

All solutions predicates in prolog. Technical Report 84/4, Department of Computer Science, University of Melbourne.

Naish, L. (1985).

Prolog control rules. In Joshi, A., (ed.), Proceedings of the 9th International Joint Conference on Artificial Intelligence.

Naish, L. (1987).

Specification = program + types. Technical Report 87/4, Department of Computer Science, University of Melbourne.

Naish, L. (1988).

Declarative diagnosis of missing answers. Technical Report 88/9, Department of Computer Science, University of Melbourne.

Naish, L., Dart, P.W. and Zobel, J. (1989).

The nu-prolog debugging environment. In Levi, G. and Martelli, M., (eds.), Proceedings of the Sixth International Logic Programming Conference. MIT Press.

O'Keefe, R. A., (1981). Mode error diagnosis in interpreted code: A Prolog debugging aid.

Documentation provided with the Prolog Library -available from the Artificial Intelligence Applications Institute, Edinburgh University.

O'Keefe, R. A. (October 1982).

A review of micro-Prolog space requirements. Blue Book Note 145, Department of Artificial Intelligence, Edinburgh.

O'Keefe, R. A. (October 1983).

A lexical approach to global variables in Prolog. Blue Book Note 202, Department of Artificial Intelligence, Edinburgh.

O'Keefe, R. A. (August 1983).

Negation as failure -a proposed new tool. Blue Book Note 191, Department of Artificial Intelligence, Edinburgh.

O'Keefe, R. A. (June 1983).

Programming meta-logical operations in Prolog. Working Paper 142, Department of Artificial Intelligence, Edinburgh.

O'Keefe, R. A. (October 1983).

Prolog stories -a response. Blue Book Note 201, Department of Artificial Intelligence, Edinburgh.

O'Keefe, R.A. (August 1983).

Classification: A worked exercise in Prolog. Working Paper 153, Department of Artificial Intelligence, Edinburgh.

O'Keefe, R. A., (1984a). Advice.pl.

Documentation and code provided with the Prolog Library -available from the Artificial Intelligence Applications Institute, Edinburgh University.

O'Keefe, R. A. (September 1984).

Prolog comments. Blue Book Note 240, Department of Artificial Intelligence, Edinburgh.

O'Keefe, R. A. (August 1984).

Prolog declarations. Blue Book Note 243, Department of Artificial Intelligence, Edinburgh.

O'Keefe, R. A. (1984d).

Some Prolog ideas or `why we should not standardise on dec-10 Prolog' is the wrong question.

O'Keefe, R.A. (January 1984).

Reading sentences in Prolog - a worked example. Working Paper 159, Department of Artificial Intelligence, Edinburgh.

O'Keefe, R.A. (1988).

Practical prolog for real Prolog programmers. A tutorial given at the Fifth International Conference Symposium on Logic Programming, Seattle.

O'Keefe, R.A. (1990).

The Craft of Prolog. MIT Press.

Parker, P., (ed.). (1988).

LPA PROLOG Professional Compiler: Programmer's Reference Manual. Logic Programming Associates, London, England.

Pereira, L.M. and Calejo, M. (1988).

A framework for Prolog debugging. In Kowalski, R.A. and Bowen, K.A., (eds.), Fifth International Conference on Logic Programming, pages 481-495. MIT Press.

Pereira, L.M. and Calejo, M., (1989). The debugging environment, Chapter 10 of the ALPES final report,

Universidade Nova de Lisboa.

Pereira, F., (ed.). (1984).

C-Prolog User's Manual: version 1.5a.ikbs. SRI International, Menlo Park, Available as Occasional Paper No 27.

Pereira, L.M. (1986).

Rational debugging in logic programming. In Shapiro, E., (ed.), Third International Conference on Logic Programming, pages 203-210. Springer Verlag. Lecture Notes in Computer Science No. 225.

Plaisted, D.A. (1984).

An efficient bug location algorithm. In Proceedings of Second International Conference on Logic Programming. ?

Plummer, D. (1985a).

Soda: Screen oriented debugging aid. Blue Book Note 260, Department of Artificial Intelligence, Edinburgh.

Plummer, D. (1985b).

Tipse Is a Prolog Structure Editor. Blue Book Note 254, Department of Artificial Intelligence, Edinburgh.

Plummer, D. (1985c).

Tipse Is a Prolog Structure Editor. Blue Book Note 254, Department of Artificial Intelligence, Edinburgh.

Plummer, D. (1985d).

Yet more Prolog cliches. Code Note 10, Department of Artificial Intelligence, Edinburgh.

Plummer, D. (1986).

Soda: Screen oriented debugging aid. Software Report 3, Department of Artificial Intelligence, Edinburgh, Previously referenced as blue book note 260.

Plummer, D. (1987).

Coda: An extended debugger for Prolog. Technical Report AITR87-54, University of Texas at Austin.

Plummer, D. (1988).

Coda: An extended debugger for PROLOG. In Bowen, K. and Kowalski, R., (eds.), Logic Programming: Proceedings of the Fifth International Conference and Symposium, pages 496-511, Cambridge, MA. MIT Press.

Plummer, D. (1990).

Cliche programming in Prolog. In Proceedings of the META-90 workshop, Leuven, Belgium. META-90.

Quintus Computer Systems, Palo Alto. (1986).

Quintus Prolog User's Guide and Reference Manual.

Ross, P. (1982).

Teaching Prolog to undergraduates. AISB Quarterly, (45).

Ross, P. (1987).

Some thoughts on the design of an intelligent teaching system for Prolog. AISB Quarterly, Summer(62).

Sannella, D.T. and Wallen, L.A. (1987).

A calculus for the construction of modular Prolog programs. In Computer Society Press of the IEEE, (ed.), Proceedings of the 1987 Logic Programming Symposium, San Francisco. IEEE.

System Designers Plc, Surrey, England. (1986).

Poplog User Guide.

System Designers Plc, Surrey, England. (1987).

Poplog User Guide.

Seki, H. and Furakawa, K. (1987).

Notes on transformation techniques for generate and test logic programs. In Computer Society Press of the IEEE, (ed.), Proceedings of the 1987 Logic Programming Symposium, pages 215-223, San Francisco. IEEE.

Shapiro, D. (1981).

Sniffer: A system that understands bugs. AIM- 638, MIT.

Shapiro, E. Y. (June 1982).

Algorithmic program diagnosis. Association for Computing Machinery, pages 299-308.

Shapiro, E. Y. (1983).

Algorithmic Program Debugging. MIT Press.

Shapiro, E. Y. (1989).

The family of concurrent logic programming languages. Technical Report CS 89-08.

Swedish Institute of Computer Science, Sweden. (1988).

SICStus Prolog User's Guide and Reference Manual.

Somogyi, Z. (1987).

A system of precise modes for logic programs. In Lassez, J., (ed.), Logic Programming: Proceedings of the Fourth International Conference. MIT Press.

Steel, B.D., (ed.). (1988).

LPA PROLOG Professional Compiler: User Guide. Logic Programming Associates, London, England.

Sterling, L. and Lakhotia, A. (1988).

Composing Prolog meta-interpreters. In Kowalski, R.A. and Bowen, K.A., (eds.), Logic Programming: Proceedings of the Fifth International Conference and Symposium, pages 386-403, Cambridge MA. MIT Press.

Sterling, L. and Shapiro, E.Y. (1986).

The Art of Prolog. MIT Press, Cambridge, MA.

Sterling, L. (1983).

Some remarks on the cut. Blue Book Note 174, Department of Artificial Intelligence, Edinburgh.

Sterling, L., Bundy, A., Byrd, L., O'Keefe, R. and Silver, B. (1989).

Solving symbolic equations with PRESS. Journal of Symbolic Computation, 7:71-84.

Symbolics Inc. (1987).

User's Guide to Symbolics Prolog.

Thom, J.A. and Zobel, J., (eds.). (1987).

NU-Prolog Reference Manual. Department of Computer Science, University of Melbourne, Available as Technical Report No 86/10.

Tobin, R. (May 1987).

NIPtool. Note AIAI/PSG94/1987, Programming Artificial Intelligence Applications Institute, University of Edinburgh.

van Emden, M.H. (1984).

An interpreting algorithm for Prolog programs. In Campbell, J., (ed.), Implementations of Prolog. Ellis Horwood, Chichester.

van Gelder, A. (March 1987).

Efficient loop detection in Prolog using the tortoise-and-hare technique. Journal of Logic Programming, 4(1):23-32.

Walker, A. (1983).

Syllog: An approach to Prolog for non-programmers. Research Report RJ 3950, IBM Research Laboratory, San Jose.

Young, R., (ed.). (September 1985).

MProlog Documentation: Logic Lab Reference. Epsilon, Kurfurstendamm 188/189, Berlin.

Zobel, J. (1987).

Derivation of polymorphic types for PROLOG programs. In Lassez, J., (ed.), Logic Programming: Proceedings of the Fourth International Conference. MIT Press.