PROLOG Digest            Tuesday, 16 Dec 1986      Volume 4 : Issue 84

Today's Topics:
       LP Library - Declarative Language Bibliography, Part A,
                            &  Bratko text
----------------------------------------------------------------------

Date: Mon, 15 Dec 86 9:18:43 EST

Subject: Bratko text

I haven't tried the program on pages 336-338 but from reading the
program it seems that 'wastold' (was told) and 'end_answers' are
intended to be undefined when the program begins.  They are facts
learned by querying the user.

Both 'wastold' (was told) and 'end_answers' are asserted to the
database in 'process' at the bottom of page 337.  The clause 'ask'
queries the user about an 'Answer' to 'Goal' which is recorded in
'wastold'.

-- Paul Broome

------------------------------

Date: 8 Dec 86 09:32:11 GMT

Subject: Part A

ABDA76a Abdali S.K.  An Abstraction Algorithm for Combinatory Logic
Journal of Symbolic Logic Vol 41, Number 1, March 1976

ABEL85a * Abelson H. & Sussman G.J. with Sussman J.  Structure and
Interpretation of Computer Programs MIT Press 1985

ABEL? Abelson H. & Sussman G.J.  Computation: An Introduction to
Engineering Design Massachusetts Institute of technology, U.S.A.

ABEL? Abelson H. & Sussman G.J.  Scheme Demonstration Programs for
Structure and Interpretation of Computer Programs Massachusetts
Institute of Technology, U.S.A.

ABRA82a Abramsky S.  SECD-M - A Virtual Machine for Applicative
Multiprogramming Computer Systems Lab, Queen Mary College, Nov 82

ABRA82b Abramson H.  Unification-Based Conditional Binding Constructs
TR 82-7, Department of Computer Science, Univ of British Columbia,
Canada August 1982

ABRA83a Abramsky S.  On Semantic Foundations For Applicative
Multiprogramming Computer Systems Lab, Queen Mary College, 1983

ABRA83b Abramson H.  A Prological Definition of HASL a Purely
Functional Language With Unification Based Conditional Binding
Expressions TR 83-8, Department of Computer Science, Univ of British
Columbia, Canada July 26, 1983

ABRA86a * Abramson H.  A Prological Definition of HASL, a Purely
Functional Language With Unification- Based Conditional Binding
Expressions in DEGR86a, pp 73-130 1986

ABRI85a Abrial J.R.  Programming as a Mathematical Exercise in HOA85a
1985

ACKE79a Ackerman W.B. & Dennis J.B.  VAL - Preliminary Reference
Manual MIT Laboratory for Computer Science, Technical report TR-218
June 1979

ACKE79b Ackerman W.B.  Data Flow Languages AFIPS Proceedings, pp
1087-1095 June 1979

ACKE82a * Ackerman W.B.  Dataflow Languages IEEE Computer, pp 15-25
February 1982

ADDA85a Adams G.B & Brown R.L. & Denning Report on an Evaluation Study
of Data Flow Computation RIACS-TR85 2, Ames Research Group April 1985

AGRA85a * Agrawal V.K. & Patnaik L.M. & Goel P.S.  Towards Formal
Specification of a Distributed Computing System International Journal
of Computer and Information Sciences, Vol 14, No 5 pp 277-306 1985

AIDA84a Aida H. & Moto-oka T.  Performance Measurement of Parallel
Logic Programming System "Paralog" Dept. of Electrical Eng.,
University of Tokyo

AIDA85a * Aida H.  The Logic Programming Conference '85 Conference
Report New Generation Computing, Vol 3, No 3, pp 334-335 1985

ALEX85a * Alexandridis N.A. & Bilalis N.A. & Tsanakas P.D.  Using
Functional Programming For Hierarchical Structures in Image Processing
in Digital Techniques in Simulation, Communication and Control (IMACS)
(ed Tzafestas S.G. ) pp 175-181 North Holland 1985

AILIST85a * AIList Digest Volume 3 : Issue 171 Monday 18th November
1985

AILIST86 * AIList Digest Volume 4 : Issue 11 Wednesday 22 January 1986

AILIST86 * AIList Digest Volume 4 : Issue 12 Thursday 23 January 1986

AILIST86 * AIList Digest Volume 4 : Issue 13 Thursday 23 January 1986

AILIST86 * AIList Digest Volume 4 : Issue 14 Friday 24 January 1986

AILIST86 * AIList Digest Volume 4 : Issue 15 Friday 24 January 1986

AILIST86 * AIList Digest Volume 4 : Issue 20 Friday 7th February 1986

AILIST86 * AIList Digest Volume 4 : Issue 36 Wednesday 26 February
1986

AILIST86 * AIList Digest Volume 4 : Issue 37 Thursday 27 February 1986

AILIST86 * AIList Digest Volume 4 : Issue 38 Thursday 27 February 1986

AILIST86 * AIList Digest Volume 4 : Issue 39 Thursday 27 February 1986

AILIST86 * AIList Digest Volume 4 : Issue 40 Friday 28 February 1986

AILIST86 * AIList Digest Volume 4 : Issue 41 Friday 28 Febrauary 1986

AILIST86 * AIList Digest Volume 4 : Issue 45 Thursday 6th March 1986

ALLI85a * Allison L.  Programming Denotational Semantics II Computer
Journal, Vol 28, no 5, pp 480-486 1985

ALVEY83a * Alvey News Issue Number 1 September 1983

ALVEY83b * Alvey News Issue Number 2 December 1983

ALVEY83c * Alvey Software Engineering - A Strategy Overview November
1983

ALVEY83d * Alvey VLSI And CAD Strategy December 1983

ALVEY84a * Alvey News Issue Number 3 February 1984

ALVEY84b * Alvey News Issue Number 4 April 1984

AlVEY84c * Alvey News Issue Number 5 June 1984

ALVEY84d * Alvey News Issue Number 6 August 1984

ALVEY84e * Alvey News Issue Number 7 October 1984

ALVEY84f * Alvey News Issue Number 8 December 1984

ALVEY84g * Alvey Directorate Infrastructure Policy September 1984

ALVEY84h * Software Reliability And Metrics Programme Overview Alvey
Directorate April 1984

ALVEY84i * Software Engineering/IKBS Strategy For Knowledge Based IPSE
Development Alvey Directorate August 1984

ALVEY84j * Report To The Alvey Directorate On A Short Survey Of Expert
Systems In UK Business Submitted by Alex d'Agapeyeff Supplement To
Alvey News Issue Number 4 April 1984

ALVEY84k * Alvey Man-Machine Interface Strategy August 1984

ALVEY84l * Alvey Communications Study September 1984

ALVEY84m * Alvey IKBS Research Theme Inference Workshop Report No. 1
Imperial College, London 19-20 September 1984

ALVEY84n * Alvey IKBS Special Interest Group Architectures For large
Knowledge Based Systems Proceedings of First Workshop Manchester
University 22-24 May 1984

ALVEY84o * Proceedings of the Second Workshop on Architectures For
Large Knowledge Bases Sponsored by the Alvey Directorate Manchester
University 9-11 July 1984

ALVEY85a * Alvey News Issue Number 9 February 1985

ALVEY85b * Alvey News Issue Number 10 April 1985

ALVEY85c * Alvey News Issue Number 11 June 1985

ALVEY85d * Alvey News Issue Number 12 August 1985

ALVEY85e * Alvey News Issue Number 14 December 1985

ALVEY85f * Alvey Architecture Strategy April 1985

ALVEY85g * Alvey Programme Annual Report 1985 November 1985

ALVEY85h * Alvey Programme Annual Report 1985 Poster Supplement
November 1985

ALVEY86a * Alvey News Issue Number 15 February 1986

ALVEY86b * Alvey News Issue Number 16 April 1986

ALVEY86c * Alvey News Issue Number 17 June 1986

ALVEY86d * Alvey News Issue Number 18 August 1986

ALVEY86e * Alvey Programme Annual report 1986 October 1986

ALVEY86f * Alvey Programme Annual Report 1986 Poster Supplement
October 1986

ALVEY86g * Alvey News Issue Number 19 October 1986

ALVEY86h * Alvey Conference Report 1986

AMAM82a Amamiya M. & Takahashi N. & Naruse T. & Yoshida M.  A Data
Flow Processor Array System for Solving Partial Differential Equations
Int. Symp. on Applied Mathematics and Information Science March 1982

AMAM85a * Amamiya M.  Report on US-Japan Seminar - Knowledge Systems :
Cooperation through Competition Conference Report New Generation
Computing, Vol 3, No 3, pp 331-333 1985

ANDE83a * Anderson S.  Analysing A Restricted Class Of Functional
Programs Declarative Programming Workshop, University College London
pp 66-97 11-13th April 1983

ANDE85a * Anderson J. & Cohen S. & Davis A. & Robison S. & Stevens K.
FAIM1 User Interface IFIP TC-10 Working Conference on Fifth Generation
Computer Architecture, UMIST, Manchester July 15-18 1985

ANDR80a Principles of Firmware Engineering in Microprogram Control
ISBN 0 914894 63 3 Blackwell Scientific Pubs.  1980

AOYA85a * Aoyagi T. & Fujita M. & Moto-oka T.  Temp{*filter*}Logic
Programming Language Tokio - Programming in Tokio in WADA86a, pp
128-137 1985

APT80a * Apt K.R. & Francez N. & Roever W. P. De A Proof System for
Communicating Sequential Processes ACM Transactions on Programming
Languages and Systems, Vol 2, No 3 pp 359-385 July 1980

APT81a * Apt K.R.  Ten Years of Hoare's Logic : A Survey - Part 1 ACM
Transactions on Programming Languages and Systems, Vol 3, No 4 pp
431-483 October 1981

APT82a * Apt K.R. & Van Emden M.H.  Contributions To The Theory Of
Logic Programming Journal of ACM, Vol 29, No 3, pp 841-862 July 1982

APT83a * Apt K.R. & Olderog E.R.  Proof Rules And Transformations
Dealing With Fairness Science of Computer Programming, 3, pp 65-100
1983

APT86a * Apt K.R. & Kozen D.C.  Limits For Automatic Verification of
Finite-State Concurrent Systems Information Processing Letters, 22, pp
307-309 30 May 1986

ARBI75a Arbib M.A. & Manes E.G.  Arrows, Structures and Functors : The
Categorical Imperative Academic Press 1975

ARNO80a * Arnold A. & Nivat M.  Metric Interpretations Of Infinite
Trees And Semantics Of Non Deterministic Recursive Programs
Theoretical Computer Science, 11, pp 181-205 1980

ARSA82a * Arsac J. & Kodratoff Y.  Some Techniques for Recursion
Removal from Recursive Functions ACM Transactions on Programming
Languages and Systems, Vol 4, No 2 pp 295-322 April 1982

ARVI78a Arvind & Gostelow K.P. & Plouffe W.  An Asynchronous
Programming Language and Computing Machine Dept. of Information and
Computer Science, Tech Rep 114A University of California Irvine,
December 1978

ARVI83a Arvind & Dertouzos M.L. & Iannucci R.A.  A Multiprocessor
Emulation Facility MIT Lab for Computer Science Technical Report 302
October 1983

ARVI84a * Arvind & Brock J.D.  Resource Managers in Functional
Programming Journal of Parallel and Distributed Computing 1, pp 5-21
1984

ARVI84b Arvind & Kathail V. & Pingali K.  Sharing of Computation in
Functional Language Implementations Lab for Computer Science Tech Rep
??? (sic), 24 July 1984

ARVI85a * Arvind Managing Resources in a Parallel Machine (Extended
Abstract) IFIP TC-10 Working Conference on Fifth Generation Computer
Architecture, UMIST, Manchester July 15-18 1985

ASHC76a * Ashcroft E.A. & Wadge W.  Lucid - A Formal System For
Writing and Proving Programs SIAM J on Computing Vol 5 no 3, 1976 pp
336-354 1976

ASHC77a Ashcroft E.A. & Wadge W.W.  LUCID, a Non-Procedural Language
with Iteration CACM Vol 20 No 7 p519-526 July 1977

ASHC82a * Ashcroft E.A. & Wadge W.W.  R for Semantics ACM TOPLAS, Vol
4, No 2, pp 283-294 April 1982

ASHC83a Ashcroft E.A.  Proposal for a Demand-Driven Tagged Dataflow
Machine SRI Document Sept 1983

ASH85a Ashcroft E.A.  Eazyflow Architecture SRI Technical Report
CSL-147, April 1985

ASH85b Ashcroft E.A.  Ferds--Massive Parallelism in Lucid Document
1985

ASH85c Ashcroft E.A. & Wadge W.W.  The Syntax and Semantics of Lucid
SRI Technical Report CSL-147 April 1985

ASHC85d * Ashcroft E.A. & Jagannathan R.  Operator Nets IFIP TC-10
Working Conference on Fifth Generation Computer Architecture, UMIST,
Manchester July 15-18 1985

ASO84a Aso M.  Simulator of XP's ICOT Research Center, Technical
Report TR-041 January 1984

ATKI83a * Atkinson M.P & Bailey P.J. & Chisholm K.J. &{*filter*}shott P.W.
& Morrison R.  "An Approach to Persistent Programming" The Computer
Journal,Vol.26,No.4, pp 360-365 1983

ATKI85a * Atkinson M.P. & Morrison R.  Procedures as Persistent Data
Objects ACM Transactions on Programming Languages and Systems, Vol 7,
No 4, pp 539-559 October 1985

AUGU84a * Augustsson L.  A Compiler for Lazy ML Proceedings of 1984
ACM Symposium on LISP and Functional Programming, Austin, Texas pp
218-227 August 1984

AZAR85a * Azari H. & Veler Y.  Functional Language Directed Data
Driven machine Microprocessing and Microprogramming 16, pp 127-132
September/October 1985

-- Andy Cheese

------------------------------

End of PROLOG Digest
********************