🚀 go-pugleaf

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
********************