%A Luis M. Pereira
%A Fernando C.N. Pereira
%A David H.D. Warren
%T User's guide to DECsystem-10 Prolog
%R Technical Report
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D 1978
%K Manual, compiler, interpreter, DEC-10

%A Lawrence Byrd
%A Fernando C.N. Pereira
%A David H.D. Warren
%T A guide to version 3 of DEC-10 Prolog
%R Occasional Paper 19
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D July 1980
%K manual, compiler, interpreter

%A D.L. Bowen
%A Lawrence Byrd
%A Fernando C.N. Pereira
%A Luis M. Pereira
%A David H.D. Warren
%T DECsystem-10 Prolog user's manual
%R Occasional Paper 27
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D November 1982
%K manual, compiler, interpreter, DEC-10/20

%A David H.D. Warren
%T Implementing Prolog - compiling predicate logic programs
%R Research Reports 39 and 40
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D May 1977
%K compilation, structure-sharing, abstract instruction set
space recovery, DEC-10/20

%A A. Borning
%T A powerful matcher for algebraic equation solving
%R Working Paper 67
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D May 1980

%A Robert A. Kowalski
%T Logic for problem solving
%R DCL Memo 75
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D March 1974
%K foundations, controlled deduction, axiomatizations, planning, parsing

%A David H.D. Warren
%T WARPLAN: a system for generating plans
%R DCL Memo 76
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D 1974
%K application, planning, STRIPS, plan merging

%A R. Hill
%T Lush-Resolution and its completeness
%R DCL Memo 78
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D August 1974
%K foundations, precursor, completeness proof

%A A. Bundy
%A Lawrence Byrd
%A G. Luger
%A C. Mellish
%A R. Milne
%A M. Palmer
%T Solving mechanics problems using meta-level inference
%R Research Paper 112
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%K reasoning

%A David H.D. Warren
%T An improved Prolog implementation which optimises tail recursion
%R Research Paper 156
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D 1980
%K compiler, virtual machine

%A A. Borning
%A A. Bundy
%T Using matching in algebraic equation solving
%R Research Paper 158
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D 1981
%K extension, term matching

%A A. Bundy
%A L.S. Sterling
%T Meta-level inference in algebra
%R Research Paper 164
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D September 1981
%K extensions, algebraic reasoning, metalevel inference

%A Leon Sterling
%A A. Bundy
%T Meta-level inference and program verification
%R Research Paper 168
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D 1982
%K program verification, metalevel inference

%A A. Bundy
%A Lawrence Byrd
%A C. Mellish
%T Special purpose, but domain independent inference mechanisms
%R Research Paper 179
%I Department of Artificial Intelligence, University of Edinburgh
%C Edinburgh, Scotland
%D 1982
%K problem solving, heuristics, metalevel reasoning