@appendix References
@begingroup
@tolerance 2000
@parskip 3mm
@parindent 0mm

[Byrd 1980] Byrd L.,
``Understanding the Control Flow of PROLOG Programs'', in 
@i[Logic Programming Workshop], ed. T@"arnlund S.-@AA.,
Debrecen, Hungary, July 1980.

[Carlsson 1984] Carlsson M.,
``On Implementing Prolog in Functional Programming'',
UPMAIL Technical Report No. 5B,
Computing Science Department, Uppsala University, Sweden, and in 
@i[Proc. 1984 International Symposium on Logic Programming],
Atlantic City NJ, and in
@i[New Generation Computing], vol. 2 no. 4 pp. 347--360,
Ohmsha, Ltd. and Springer-Verlag, Tokyo.

[Clark and McCabe 1982a] Clark K., McCabe F.,
``IC-Prolog --- Language Features'', in 
@i[Logic Programming], eds. Clark K., T@"arnlund S.-@AA., Academic Press, 
1982.

[Colmerauer 1982a] Colmerauer A.,
``PROLOG and Infinite Trees'', in 
@i[Logic Programming], eds. Clark K., T@"arnlund S.-@AA., Academic Press, 
1982.

[Colmerauer 1982b] Colmerauer A.,
``PROLOG II Manuel de R@'eference et Mod@`ele Th@'eorique'',
@i[Proc. Prolog Programming Environments Workshop], 
Link@"oping, Sweden, March 1982.

[Eriksson and Rayner 1984] Eriksson L.-H., Rayner M.,
``Incorporating Mutable Arrays Into Logic Programming'',
@i[Proc. Second International Logic Programming Conference],
Uppsala, Sweden, July 1984.

[Furukawa @i[et al.@/] 1982] Furukawa K., Nitta K., Matsumoto Y.,
``Prolog Interpreter Based on Concurrent Programming'',
@i[Proc. First Logic Programming Conference], 
Marseille, France, September 1982.

[Greenblatt 1974] Greenblatt R.,
``The Lisp Machine'',
MIT AI Laboratory Working Paper 79, November 1974.

[Hansson @i[et al.@/] 1982] Hansson A., Haridi S., T@"arnlund S-@AA.,
``Properties of a Logic Programming Language'', in 
@i[Logic Programming], eds. Clark K., T@"arnlund S.-@AA., Academic Press, 
1982.

[Iverson 1962] Iverson K., @i[A Programming Language], Wiley, New York, 1962.

[Kahn 1983a] Kahn K.,
``A Primitive for the Control of Logic Programs'',
UPMAIL Technical Report No. 16, Computing Science Department,
University of Uppsala, Sweden, and in
@i[Proc. 1984 International Symposium on Logic Programming],
Atlantic City, 1984.

[Kahn 1983b] Kahn K.,
``A Grammar Kit in Prolog'',
UPMAIL Technical Report No. 14, Computing Science Department,
University of Uppsala, Sweden, and in 
@i[New Horizons in Educational Computing],
ed. Yazdani M., Ellis Horwood Ltd., Chichester, Great Britain, 1983,
and in
@i[Proc. AISB Easter Conference on Artificial Intelligence and Education],
April 1983.

[Kahn and Carlsson 1984] Kahn K., Carlsson M.,
``The Compilation of Prolog Programs without the Use of a Prolog
Compiler'', @i[Proc. International Conference on Fifth Generation
Computer Systems], Tokyo, 1984.

[Kowalski 1974] Kowalski R.,
``Predicate Logic as Programming Language'',
@i[Proc. IFIP 1974], Elsevier North Holland, Amsterdam, pp. 569-574.

[Lieberman 1980] Lieberman H.,
``Logo Turtle Graphics for the Lisp Machine'',
MIT AI Laboratory Working Paper 214, May 1981.

[Lieberman 1981] Lieberman H.,
``Thinking About Lots of Things at Once Without Getting Confused'',
MIT AI Laboratory Memo 626, May 1981.

[Lloyd 1984] Lloyd J.W.,
@i[Foundations of Logic Programming],
Springer-Verlag, 1984.

[Moon @i[et al.@/] 1983] Moon D., Stallman R. M., Weinreb D.,
``Lisp Machine Manual'', MIT AI Laboratory, January 1983.

[Nakashima 1982] Nakashima H.,
``Prolog/KR Language Features'',
@i[Proc. First Logic Programming Conference], 
Marseille, France, September 1982.

[Pereira @i[et al.@/] 1979] Pereira L., Byrd L., Pereira F., Warren D.H.D.,
``User's Guide to DECsystem-10 Prolog'', DAI Occasional Paper 15,
Department of Artificial Intelligence, University of Edinburgh,
Edinburgh, Scotland, 1979.

[Pereira and Warren 1980] Pereira F.C.N., Warren D.H.D.,
``Definite Clause Grammars for Language Analysis --- A Survey of the 
Formalism and a Comparison with Augmented Transition Networks'',
@i[Artificial Intelligence] Vol. 13, pp. 231-278, 1980.

[Robinson 1965] Robinson J.,
``A Machine-oriented Logic Based on the Resolution Principle'',
@i[Journal of the ACM], Vol. 12, no. 1, January 1965.

[Shapiro 1983a] Shapiro E.,
``A Subset of Concurrent Prolog and Its Interpreter'',
ICOT Technical Report, TR-003, ICOT, Tokyo, 1983.

[Shapiro 1983b] Shapiro E.,
``Lecture Notes on the Bagel: A Systolic Concurrent Prolog Machine'',
ICOT Technical Memorandum, TM-0031, ICOT, Tokyo, 1983.

[Roussel 1975] Roussel P.,
``Prolog: Manuel de R@'eference et d'Utilisation'',
Groupe d'Intelligence Artificielle, Universit@'e d'Aix-Marseille,
Luminy, France, 1975.

[Warren 1977] Warren D.,
``Implementing Prolog --- compiling predicate logic programs'',
Department of Artificial Intelligence, University of Edinburgh,
D.A.I. Research Report Nos. 39--40, May 1977.

@endgroup
