PROLOG-REQUEST@SCORE.STANFORD.EDU (Chuck Restivo, The Moderator) (12/15/86)
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
From: Paul Broome <broome@BRL.ARPA>
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
From: Andy Cheese <mcvax!ukc!dcl-cs!nott-cs!abc@seismo.css.gov>
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. Temporal 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. & Cockshott 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
********************