%A John S. Conery
%A Paul H. Morris
%A Dennis F. Kibler
%T Efficient logic programs: a research proposal
%J Logic Programming Newsletter
%K lpn
%N 1
%D Spring 1981
%P 2-3

%A Luis Monteiro
%T A new proposal for concurrent programming in logic
%J Logic Programming Newsletter
%K lpn
%N 1
%D Spring 1981
%P 3-4

%A Paul Morris
%T Transporting values via relative assertions
%J Logic Programming Newsletter
%K lpn
%N 1
%D Spring 1981
%P 4

%A Antonio Porto
%T A Prolog program for the 'S-P' problem
%J Logic Programming Newsletter
%K lpn
%N 1
%D Spring 1981
%P 5-6

%A Alain Colmerauer
%T A solution to the Mister P and the Mister S problem in pure Prolog
%J Logic Programming Newsletter
%K lpn
%N 2
%D Autumn 1981
%P 2-3

%A Maarten van\ Emden
%T AVL-tree insertion: a benchmark program biased towards Prolog
%J Logic Programming Newsletter
%K lpn
%N 2
%D Autumn 1981
%P 4

%A David Warren
%T The 'S-P' problem revisited
%J Logic Programming Newsletter
%K lpn
%N 2
%D Autumn 1981
%P 5-6

%A Dennis Kibler
%T Boolean satisfiability
%J Logic Programming Newsletter
%K lpn
%N 2
%D Autumn 1981
%P 6-7

%A Veronica Dahl
%T A short cut to more informative answers
%J Logic Programming Newsletter
%K lpn
%N 2
%D Autumn 1981
%P 7-8

%A I. Futo
%A J. Szeredi
%T T-Prolog: a very high level simulation system
%J Logic Programming Newsletter
%K lpn
%N 2
%D Autumn 1981
%P 8-9

%A Luis Moniz Pereira
%A Antonio Porto
%T All solutions
%J Logic Programming Newsletter
%K lpn
%N 2
%D Autumn 1981
%P 9-10

%A David H.D. Warren
%T Perpetual processes: an unexploited Prolog technique
%J Logic Programming Newsletter
%K lpn
%N 3
%D Summer 1982
%P 2

%A Luis Monteiro
%T A small interpreter for distributed logic
%J Logic Programming Newsletter
%K lpn
%N 3
%D Summer 1982
%P 3-5

%A Feliks Kluzniak
%A Stanislaw Szpakowicz
%T Prolog for programmers (an outline of a teaching method)
%J Logic Programming Newsletter
%K lpn
%N 3
%D Summer 1982
%P 5-7

%A Libor A. Spacek
%T A portable Prolog tracing package
%J Logic Programming Newsletter
%K lpn
%N 3
%D Summer 1982
%P 7-9

%A John Gallagher
%T Simulating coroutining for the 8 queens problem
%J Logic Programming Newsletter
%K lpn
%N 3
%D Summer 1982
%P 10-11

%A Philip Vasey
%T AVL-tree insertion re-visited
%J Logic Programming Newsletter
%K lpn
%N 3
%D Summer 1982
%P 11

%A Luis Moniz Pereira
%A Antonio Porto
%T Pure Lisp in pure Prolog
%J Logic Programming Newsletter
%K lpn
%N 3
%D Summer 1982
%P 12

%A R. Barbuti
%A P. Degano
%A G. Levi
%T On applying an inductionless technique
to prove properties of restricted Prolog programs
%J Logic Programming Newsletter
%K lpn
%N 4
%D Winter 1982/1983
%P 2-3

%A Harvey Abramson
%T A Prolog implementation of SASL
%J Logic Programming Newsletter
%K lpn
%N 4
%D Winter 1982/1983
%P 3-4

%A Masoud Yazdani
%T A proposal
%J Logic Programming Newsletter
%K lpn
%N 4
%D Winter 1982/1983
%P 4

%A Ivan Futo
%A Tamas Gergely
%T System simulation on Prolog basis
%J Logic Programming Newsletter
%K lpn
%N 4
%D Winter 1982/1983
%P 4-5

%A Luis Moniz Pereira
%T A Prolog demand driven computation interpreter
%J Logic Programming Newsletter
%K lpn
%N 4
%D Winter 1982/1983
%P 6-7

%A Ivan Futo
%A Janos Szeredi
%T Metacontrol of process synchronisation in T-Prolog
%J Logic Programming Newsletter
%K lpn
%N 4
%D Winter 1982/1983
%P 8

%A John M. Carroll
%A Oi-lun Wu
%T Using Prolog to assess security risks in data processing systems
%J Logic Programming Newsletter
%K lpn
%N 4
%D Winter 1982/1983
%P 8-10

%A M.H. van\ Emden
%T Warren's doctrine on the slash
%J Logic Programming Newsletter
%K lpn
%N 4
%D Winter 1982/1983
%P 10

%A Alan M. Frisch
%A James F. Allen
%A Mark Giuliano
%T An overview of the Horne logic programming system
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 2-3

%A Kenneth M. Kahn
%T Pure Prolog in pure Lisp
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 3-4

%A Y. Bekkers
%A B. Canet
%A O. Ridoux
%A L. Ungaro
%T A short note on garbage collection in Prolog interpreters
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 4-5

%A Jan Sebelik
%T A problem description in Prolog
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 6

%A Mohd. Zahran Halim
%A Ian Watson
%T Data driven logic programming: a research proposal
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 6-7

%A Leon Sterling
%T Some remarks on the cut
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 7-9

%A R.A. Corlett
%A S.J. Todd
%T A basic interpreter for coroutining
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 9-10

%A Maarten van\ Emden
%T A note on definite clauses
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 11

%A Ron Hayter
%T Edison in Prolog
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 11

%A Earl Fogel
%T Implementation of Lispkit Lisp in Prolog
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 11-12

%A F. Kluzniak
%A S. Szpakowicz
%T A note on Prolog syntax
%J Logic Programming Newsletter
%K lpn
%N 5
%D Winter 1983/1984
%P 12-13

%A David Harel
%T Logic and databases: a critique
%J Logic Programming Newsletter
%K lpn
%N 7
%D May 1987
%P 3-5

%A Alain Grumbach
%T Learning with Prolog: some neede features
%J Logic Programming Newsletter
%K lpn
%N 7
%D May 1987
%P 6-7

%A Izidor Hafner
%T The completeness theorem of equivalential calculus as a Prolog program
%J Logic Programming Newsletter
%K lpn
%N 7
%D May 1987
%P 7-8