%A M. Dowson
%T A note on Microplanner
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 19-27

%A J. Davies
%T Popler - implementation of a POP-2-based Planner
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 28-49

%A R.E. Griswold
%T The control of searching and backtracking in string pattern matching
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 50-64

%A F. Kluzniak
%T The "Marseille interpreter" - a personal perspective
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 65-70

%A F. Kluzniak
%A S. Szpakowicz
%T Prolog - a panacea ?
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 71-84

%A M. Nilsson
%T The world's shortest Prolog interpreter ?
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 87-92

%A M.H. van\ Emden
%T An interpreting algorithm for Prolog programs
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 93-110
%K Ferguson diagram

%A R. Fogelholm
%T Exeter Prolog - some thoughts on Prolog design by a Lisp user
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 111-116

%A K.M. Kahn
%A M. Carlsson
%T How to implement Prolog on a Lisp machine
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 117-134

%A K. Nakamura
%T Associative evaluation of Prolog programs
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 135-146

%A C. Mellish
%A S. Hardy
%T Integrating Prolog in the Poplog environment
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 147-162

%A I. Futo
%A J. Szeredi
%T System simulation and co-operative problem-solving on a Prolog basis
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 163-174

%A L.M. Pereira
%T Logic control with logic
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 177-193

%A M. Bruynooghe
%A L.M. Pereira
%T Deductive revision by intelligent backtracking
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 194-215

%A P.T. Cox
%T Finding backtrack points for intelligent backtracking
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 216-233

%A S. Haridi
%A D. Sahlin
%T Efficient implementation of unification of cyclic structures
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 234-249

%A M. Filgueiras
%T A Prolog interpreter working with infinite terms
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 250-258

%A M. Bruynooghe
%T Garbage collection in Prolog interpreters
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 259-267

%A A. Porto
%T Epilog: a language for extended programming in logic
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 268-278

%A J. Fischer Nilsson
%T Formal Vienna-definition-method models of Prolog
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 281-308

%A M. Bellia
%A E. Dameri
%A P. Degano
%A G. Veli
%A M. Martelli
%T A formal model for lazy implementations
of a Prolog-compatible functional language
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 309-326

%A L. Monteiro
%T A proposal for distributed programming in logic
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 329-340

%A M.J. Wise
%T Epilog: re-interpreting and extending Prolog for a multiprocessor environment
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 341-351

%A S.J. Turner
%T W-grammars for logic programming
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 352-368

%A J.A. Campbell
%A S. Hardy
%T Should Prolog be list or record oriented ?
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 369-375

%A R. Ennals
%A J. Briggs
%A D. Brough
%T What the naive user wants from Prolog
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 376-386

%A M. Warner
%T The taming of the sleuth
%B Implementations of Prolog
%E J.A. Campbell
%S Ellis Horwood Series in Artificial Intelligence
%I Ellis Horwood
%C Chichester, England
%D 1984
%P 387-388