     Bibliography for BRIE -- The Boca Raton Inference Engine


Allen, J., 1978. Anatomy of LISP.  McGraw-Hill, New York, N. Y.

Backus,  J.,  1978.  Can  programming be liberated from  the  von 
     Neumann  Style?   A  functional  style and  its  algebra  of 
     programs. CACM, Vol. 21, pp. 613-641. 

Barr, A.,  and A.  Feigenbaum.,  1981. The handbook of artificial 
     intelligence.  William Kaufman, Inc., Los Altos, California, 
     Vol. 1, pp. 141-222. 

Barr, A.,  and A.  Feigenbaum.,  1981. The handbook of artificial 
     intelligence.  William Kaufman, Inc., Los Altos, California, 
     Vol. 2, pp. 1-76. 

Berkeley,  E.  C.,  and D. G. Bobrow, eds., 1964. The programming 
     language  LISP:  its  operation  and  applications.   M.I.T. 
     Press, Cambridge, Mass.

Betz, D.,  1983. XLISP: an experimental object oriented language.  
     SIG/M user's group, Allentown RCPM node.

Boyer,  J.  and S. Moore., 1979. A computational logic.  Academic 
     Press, N. Y.

Boyer, R. S., and J. S. Moore., 1972. The sharing of structure in 
     theorem proving programs.  Machine Intelligence (ed. Meltzer 
     & Michie)., Vol. 7, pp. 101-116. 

Bratko,  I.,  1982.  Streamlining problem-solving  processes.  In 
     Introductory Readings in Expert Systems  (D.  Michie,  ed.). 
     Gordon and Breach Science Publishers,  New York.,  pp.  177-
     191. 

Bruynooghe,   M.,   1976.  An  interpreter  for  predicate  logic 
     programs, part 1. Report CW10. Applied Maths and programming 
     division. Katholieke University, Leuven, Belgium.

Bruynooghe,   M.,   1982.   The   memory  management  of   PROLOG 
     implementations.  In  Logic  Programming  (eds.  Clarke  and 
     Tarnlund). Academic Press. London., pp. 83-98. 

Bundy,  A.,  1971.  There  is no best  proof  procedure.   SIGART 
     newsletter, December 1971. , p. 6. 

Bundy,   A.,   1983.  The  computer  modelling  of   mathematical 
     reasoning.  Academic Press Inc. (London) Ltd. 

Campbell,  J.,  1984.  Implementations of PROLOG.   Ellis Horwood 
     series in A.I.  John Wiley, N.Y.

Charniak, E., et al. , 1980. Artificial intelligence programming.  
     Lawrence Erlbaum Associates, Hillsdale, N. J.

Church,  A.,  1941. The calculi of  lambda-conversion.   Princton 
     Univ. Press, Princeton, N. J.

Clark, K. L. and F. G. McCabe, 1984. micro-PROLOG: Programming in 
     logic.   Prentice-Hall International, Inc., Englwood Cliffs, 
     N.J.

Clark,  K.  L.,  1978.  Negation as failure.   In Logic and  Data 
     Bases,  H.  Gallaire and J.  Minker,  eds. Plenum Press, New 
     York, N. Y., pp. 293-322. 

Clark,  K.  L.,  and McCabe, F.,  1980.  PROLOG:  A language  for 
     implementing  expert  systems,  Research  report,  dept.  of 
     computing, Imperial College. Machine Intelligence (eds Hayes 
     & Michie) Ellis Horwood 1982, Vol. 10, pp. 101-116. 

Clark,  K.  L.,  Ennals, and McCabe, 1982. A micro-PROLOG primer.  
     Logic Programming Associates Ltd., London, England.

Clarke,  K.  L.,  1982. An introduction to logic programming.  In 
     Introductory  Readings in Expert Systems (D.  Michie,  ed.). 
     Gordon and Breach Science Publishers, New York., pp. 93-112. 

Clocksin,  W.,  and Mellish, C.,  1981.  Programming  in  PROLOG.  
     Springer Verlag, New York, N. Y.

Coelho, H., J. C. Cotta, and L. M. Pereira, 1980. How to solve it 
     with   PROLOG.     Laboratorio Nacional de Engenharia Civil, 
     Lisbon.

Cohen,  P.  and A. Feigenbaum.,  1981. The handbook of artificial 
     intelligence.  William Kaufman, Inc., Los Altos, California, 
     Vol. 3, pp. 75-124. 

Darvas,  F.,  I. Futo, and P. Szeredi,  1980. Logic based program 
     for  predicting drug  interactions.   Int. J. Biomed. comp., 
     log. prog. wkshop (ed S-A Tarnlund).

DeMillo,  R.,  R. Lipton, and A. Perlis.,  1979. Social Processes 
     and proofs of theorems.  CACM, Vol. 22, pp. 271-280. 

Foster, J. M., 1967. List Processing.  American Elsivier Inc. New 
     York , N. Y.

Friedman,  D.  P.,  1974.  The  little Lisper   Science  Research 
     Associates Inc., London.

Hammond,  P., 1980. Logic programming for expert systems.  M. Sc. 
     Thesis, Imperial College.

Hansson, A., S. Haridi, and S-A. Tarnlund., 1982. Properties of a 
     logic  programming language,  in Logic Programming,  Clark & 
     Tarnlund, eds. Academic Press, N.Y., pp. 267-280. 

Hayes-Roth,  F.  D. A. Waterman, and D. B. Lenat,  1983. Building 
     Expert Systems  Addison-Wesley.

Henderson,  P. and J. Morris., 1976. A lazy evaluator.  3rd symp. 
     on princ. of programming languages. Atlanta.

Hill, L.,  1974. Lush resolution and its completeness.  DCL  memo 
     78. University of Edinburgh.

Hirsch,   A.,   1984.   Tagged  architecture  supports   symbolic 
     processing.  Computer Design, June 1, 1984., pp. 75-78. 

Kahn, K.  M.,  1982.  Intermission -- Actors in PROLOG.  In Logic 
     Programming  (eds.  Clarke and  Tarnlund).  Academic  Press. 
     London., pp. 213-228. 

Kanoui,  H.,  and M. Van Canaghem, 1980. Implementing a very high 
     level  language  on  a  very  low  cost  computer.    Groupe 
     d'intelligence artificielle, U. d'Aix-Marseille, Lum.

Komorowski,  H. J., 1982. QLOG -- The programming environment for 
     PROLOG  in  LISP.  In  Logic Programming  (eds.  Clarke  and 
     Tarnlund). Academic Press. London., pp. 315-324. 

Kowalski,  R., 1979. Logic for problem solving.  Elsevier Science 
     Publishing Co., Inc. N.Y.

Kowalski,  R.  A., 1978. Logic for data description, in Logic and 
     data bases.  Plenum Press, New York, N. Y.

Lusk,   E.,   W. McCune, and R. Overbeek.,  1982.  Logic  machine 
     architecture:   inference mechanisms,  in Proc. of 6th Conf. 
     on automated deduction. Springer-Verlag lect. notes in comp. 
     sci. D. Loveland, ed., Vol. 138, pp. 85-108. 

Lusk,   E.,   W. McCune, and R. Overbeek.,  1982.  Logic  machine 
     architecture:   kernel functions,  in Proc.  of 6th Conf. on 
     automated  deduction.   Springer-Verlag lect. notes in comp. 
     sci. D. Loveland, ed., Vol. 138, pp. 70-84. 

Markusz,  Z.,  1977.  How  to  design  variants  of  flats  using 
     programmming language PROLOG,  based on mathematical  logic. 
     Proc. IFIP.

Maurer,  W.  D.,  1972.  The  programmer's introduction to  LISP.  
     American Elsivier Inc. New York , N. Y.

Mayaramani,  S.,  1979.  A deductive data  base   B.  Sc.  (Eng), 
     Imperial College.

McCabe,   F.   G.   and K. L. Clark,   1983.   micro-PROLOG   3.0 
     Programmer's Reference Manual,  CP/M version, third edition. 
     Logic Programming Associated Ltd.

McCarthy,  J.,  1958. Programs with common sense. Paper presented 
     at  the Symposium on the mechanization of thought processes. 
     National Physical Laboratory, Teddington, England.

McCarthy,  J.,  1960. Recursive functions of symbolic expressions 
     and their computation by machine.  CACM, Apr. 1960, pp. 184-
     195. 

Mellish,  C. S., 1982. An alternative to structure sharing in the 
     implementation of PROLOG.  In Logic Programming (eds. Clarke 
     and Tarnlund). Academic Press. London., pp. 99-106. 

Michie,  D.,  1982. The state of the art in machine learning.  In 
     Introductory Readings in Expert Systems  (D.  Michie,  ed.). 
     Gordon and Breach Science Publishers,  New York.,  pp.  208-
     230. 

Newill,  A.,  and J.  C. Shaw, 1957. Programming the logic theory 
     machine.  Proc. Western Joint Computer Conference, Feb 57.

Nilsson,  N.  J.,  1971.  Problem-solving  methods in  artificial 
     intelligence.  McGraw-Hill, New York, N. Y.

Odette,  L.,  1984. Computing with streams.   Dr.  Dobb's Journal 
     Vol. 9, issue 9, September 1984., Vol. 9, pp. 50-67. 

Overbeek,   R.,  1975.  An  implementation  of  hyper-resolution.  
     Computers & Mathematics with Applications., pp. 201-214. 

Overbeek,  R. A., J. Gabriel, T. Lindholm, and E. L. Lusk., 1984. 
     PROLOG  on multiprocessors (preliminary  version).   Argonne 
     National Laboratory, Argonne Illinois.

Pereira,  L.  M., and A. Porto., 1982. Selective backtracking. In 
     Logic  Programming  (eds.  Clarke  and  Tarnlund).  Academic 
     Press. London., pp. 107-116. 

Quinlan,  J.  R.,  1982. Semi-autonomous acquisition of  pattern-
     based knowledge.  In Introductory Readings in Expert Systems 
     (D.  Michie, ed.). Gordon and Breach Science Publishers, New 
     York., pp. 192-207. 

Rich, D.   A.   and  D.  R.  Stoutemyer,  1981.  muLISP/muSTAR-80 
     artificial intelligence development system reference manual, 
     CP/M version. MicroSoft Corporation, Bellevue, Washington.

Richter,  M.,  1974.  A note on paramodulation and the functional 
     reflexive  axioms.   Technical report,  Univ.  of  Texas  at 
     Austin.

Roberts,  G.  M.,  1977. An implementation of PROLOG.  MS Thesis, 
     Dept. of computer science, Univ. of Waterloo.

Robinson,  G.  and  L.  Wos.,  1969.  Paramodulation and  theorem 
     proving   in   first  theories   with   equality.    Machine 
     Intelligence,  D.  Michie ed. Edinburg Univ. Press., Vol. 4, 
     pp. 135-150. 

Robinson,  J.  A.,  1965.  A machine oriented logic based on  the 
     resolution principle.  JACM, Vol. 12, pp. 23-41. 

Robinson,  J.  A.,  1971.  Computational logic:  the  unification 
     algorithm.  Machine intelligence., Vol. 6, pp. 63-72. 

Robinson,  J.  A., 1979. Logic: form and function.  North Holland 
     Publishing Co., New York, N. Y.

Robinson,  J.  A.,  1982.  Problems and trends for the future  of 
     logic  programming.   In  Introductory  Readings  in  Expert 
     Systems  (D.   Michie,   ed.).  Gordon  and  Breach  Science 
     Publishers, New York., pp. 135-146. 

Robinson,  J.  A.,  1982.  Fundamentals  of  a  machine  oriented 
     deductive logic.  In Introductory Readings in Expert Systems 
     (D.  Michie, ed.). Gordon and Breach Science Publishers, New 
     York., pp. 81-92. 

Robinson,  J.  A.,  and E. E. Sibert., 1980. Logic programming in 
     LISP.  Dept. of Comp. & Inf. Sci., Syracuse University.

Robinson,  J.  A.,  and E. E. Sibert., 1982. LOGLISP: Motivation, 
     design,  and  implementation.  In  Logic  Programming  (eds. 
     Clarke and Tarnlund). Academic Press. London., pp. 299-314. 

Slagle,  J.  R.,  1971. Artificial Intellegence:   The  heuristic 
     programming aproach.  McGraw-Hill, New York, N. Y.

Sowa, J.  F.,  1982.  A  PROLOG to PROLOG  IBM  Systems  Research 
     Institute, New York, N. Y.

Swinson, P. S. G., 1980. Prescriptive to descriptive programming:  
     a way ahead for CAAD.  Dept. Arch., U. Edinburgh. Logic Pgmg 
     Wkshp (Tarnlund ed.).

Van Emden,  M.  H., 1979. Relational programming illustrated by a 
     program  for the game of Mastermind.  Computer Languages and 
     Computational Linguistics, Oct. 79.

Van Emden,  M.  H.,  1982.  Chess endgame advice:a case study  in 
     computer utilization of knowledge.  In Introductory Readings 
     in  Expert  Systems (D.  Michie,  ed.).  Gordon  and  Breach 
     Science Publishers, New York., pp. 113-134. 

Warren,  D.,  1981. PROLOG on the DEC-System 10 in Expert systems 
     in  the microelectronic  age,  (ed.  D.  Michie).  Edinburgh 
     University Press.

Warren,   D.   H.  D.,  1977.  Implementing  PROLOG  -- compiling 
     predicate logic programs.  Dept. of AI, Edinburgh.

Warren, D. H., L. M. Pereira, and F. pereira, 1977. PROLOG -- the 
     language   and  its  implementation  compared   with   LISP.  
     SIGART/SIGPLAN Notices, Aug. 77, pp. 109-115. 

Winker,  S.  and L.  Wos., 1982. Procedure implementation through 
     demodulation and related tricks,  in Proc.  of 6th Conf.  on 
     automatic   deduction.   Springer-Verlag  lecture  notes  in 
     computer science., pp. 109-131. 

Winston,  H.  P., 1977. Artificial Intelligence.  Addison-Wesley, 
     New York, N. Y.

Winston,  P.  H.,  and B. K. P. Horn,  1981. LISP  Addison-Wesley 
     Publishing Co., Reading, Mass.

Wos,  L.  and G.  Robinson., 1967. The concept of demodulation in 
     theorem proving.  JACM, Vol. 14, pp. 698-704. 

Wos, L. and G. Robinson, 1968. Paramodulation and set of support, 
     in   Proc.   IRIA  Symposium  on  automatic   demonstration, 
     Versailles France. Springer-Verlag, pp. 276-310. 

Wos,  L.,  R.  Overbeek,  E.  Lusk, and J. Boyle, 1984. Automated 
     Reasoning -- introduction and applications.   Prentice-Hall, 
     Inc. Englewood Cliffs, N.J.
