PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (11/04/86)
PROLOG Digest Tuesday, 4 Nov 1986 Volume 4 : Issue 64
Today's Topics:
Administration - Request,
LP Library - Declarative Language Bibliography, Part I
----------------------------------------------------------------------
Date: Mon 3 Nov 86 16:40:30-PST
From: Chuck Restivo <Restivo@SU-SCORE.ARPA>
Subject: Request
[cwr]
Chaps,
Please send to PROLOG-REQUEST before you abandon your account, move on
to greener pastures etc. indicating that is the case. The 'echo' from
the backlash of useless, USER-UNKNOWN mailer daemon messages has been
rather loud lately.
Thank you.
-- ed
------------------------------
Date: Sun 2 Nov 86 07:34:10-PST
From: Chuck Restivo <Restivo@Score.Stanford.EDU>
Subject: Lauren Smith's Bibliography - Part I
ICOT84a *
ICOT Working Group WG5
Several Aspects on Unification
ICOT Research Center, Technical Memorandum TM-0046
February 1984
ICOT84a *
Fifth Generation Computer Systems ICOT Journal Digest
No 1 June 1983, No 2 September 1983, No 3 January 1984
1984
ICOT84b *
Fifth Generation Computer Systems ICOT Journal
No 3
January 1984
ICOT84c *
Fifth Generation Computer Systems ICOT Journal
No 4
March 1984
ICOT84d *
Fifth Generation Computer Systems ICOT Journal
No 5
October 1984
ICOT85a *
Fifth Generation Computer Systems ICOT Journal
No 6
February 1985
ICOT85b *
Fifth Generation Computer Systems ICOT Journal
No 7
March 1985
ICOT85c *
Fifth Generation Computer Systems ICOT Journal
No 10
December 1985
ICOT86a *
Fifth Generation Computer Systems ICOT Journal
No 11
March 1986
IDA83a *
Ida T. & Sato M. & Hayashi S. & Hagiya M. & Kurokawa T.
& Hikita T. & Futatsugi K. & Sakai K. & Toyama Y.
& Matsuda T.
Higher Order: Its Implications to Programming Languages
and Computational Models
ICOT Research Center, Technical Memorandum TM-0029
October 1983
IDA84a *
Ida T. & Konagaya A.
Comparison of Closure Reduction and Combinatory Reduction
Schemes.
ICOT Technical Report TR-072
August 1984
IDA84b *
Ida T. & Tanaka J.
Functional Programming with Streams - Part II
New Generation Computing, Vol 2, No 3, pp 261-276
1984
INGA78a *
Ingalls D.
The Smalltalk-76 Programming System Design and
Implementation Proceedings of 5th ACM Annual Conference
on Principles of Programming Languages
pp 9-16
1978
INMO84a
Inmos
IMS T424 Transputer Data Card
January 1984
INMO84b
Inmos
OCCAM Data Card
June 1984
INMO84c *
Inmos
Occam User Group Newsletter, No.1
Summer 1984
INMO84d
Inmos
IMS T424 Transputer : Preliminary Data
August 1984
INMO84e *
Inmos Ltd
Occam Programming Manual
Prentice Hall International Series in Computer Science
January 1984
INMO85a *
Inmos
Occam User Group Newsletter, No 2
January 1985
INMO86a *
Inmos
Databook
1986
INMO86b *
Inmos
Occam User Group Newsletter, No. 4
January 1986
INMOS86c *
Inmos
Occam User Group Newsletter, No. 5
July 1986
INTE86a *
FCP : Flat Concurrent Prolog for the ISPC
Intel Scientific Computers
Artificial Intelligence Note 108
July 1986
INTE86b *
FCP : Matrix Multiply on the ISPC
Intel Scientific Computers
Artificial Intelligence Note 109
July 1986
INTE86c *
FCP : Symbolic Differentiation on the ISPC
Intel Scientific Computers
Artificial Intelligence Note 110
July 1986
INTE86d *
FCP : Virtual Machine Demonstration on the ISPC
Intel Scientific Computers
Artificial Intelligence Note 111
July 1986
ISHI85a *
Ishizuka M. & Kanai N.
Prolog-ELF Incorporating Fuzzy Logic
New Generation Computing, Vol 3, No 4, pp 479-486
1985
ISL81a
Islam N. & Myers T.J. & Broome P.
A Simple Optimiser for FP-like Languages
Proc. ACM Conf. on Functional Programming Languages
and Computer Architecture, New Hampshire, pp 33-40
october 1981
ITO83a *
Ito N. & Masuda K.
Parallel Inference machine Based on the Data Flow Model
( Also in "Proceedings of Int'l Workshop on High-Level
Computer Architecture", Los Angeles, 1984 )
ICOT Research Center, Technical Report TR-033
December 1983
ITO83b
Ito N. & Masuda K. & Shimizu H.
Parallel Prolog Machine Based on the Data Flow Model
ICOT Research Center, Technical report TR-035
September 1983
ITO83c *
Ito N. & Onai R. & Masuda K. & Shimizu H.
Prolog Machine Based on the Data Flow Mechanism
ICOT Research Center, Technical Memorandum TM-0007
May 1983
ITO85a *
Ito N. & Kishi M. & Kuno E. & Rokusawa K.
The Dataflow-Based Parallel Inference Machine To Support
Two Basic Languages in KL1
IFIP TC-10 Working Conference on Fifth Generation Computer
Architecture, UMIST, Manchester
July 15-18 1985
ITO85b *
Ito H. & Ueno H.
ZERO : Frame + Prolog
in WADA86a, pp 78-89
1985
ITO85c *
Ito N. & Shimizu H. & Kishi M. & Kuno E. & Rokusawa K.
Data-flow Based Execution Mechanisms of Parallel and
Concurrent Prolog
New Generation Computing, Vol 3, No 1, pp 15-41
1985
ITOH85a *
Itoh E. & Makagawa H.
Heuristics Applied in Tree Manipulation Algorithm
Synthesis
in WADA86a, pp 44-55
1985
IWAT84a
Iwata K. & Kamiya S. & Sakai H. & Matsuda S. & Shibayama S.
& Murukami K.
Design and Implementation of a Two-Way Merge Sorter and its
Application to Relational Database Processing
ICOT Research Center, Technical Report TR-066
May 1986
IYEN84a *
Iyengar S.S. & Sadler T. & Kundu S.
A Technique for Representing a Tree Structure with
Predicates by a Forest Data Structure
Technical Report No 84-029
Department of Computer Science, Louisianna State
University
1984
------------------------------
End of PROLOG Digest
********************