Logic Programming '85 Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
Other Authors: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1986, 1986
|
Edition: | 1st ed. 1986 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R
- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R
- A note on the elementary execution unit in a parallel inference machine
- Parallel Prolog machine PARK: Its hardware structure and prolog system
- Heuristics applied in tree manipulation algorithm synthesis
- Analogical reasoning using transformations of rules
- Synchronization and communication in the ‘subject’
- Zero : Frame + prolog
- PRESET — A debugging environment for Prolog
- Proedit — a screen oriented Prolog programming environment
- Software prototyping with MENDEL
- Retrieval of software module functions using first-order predicate logical formulae
- Temporal logic programming language Tokio programming in Tokio
- Implementation of temporal logic programming language Tokio
- Heuristic prolog: Logic program execution by heuristic search
- And-or queuing in Extended Concurrent Prolog
- Guarded horn clauses
- TDProlog: An extended Prolog with term description
- Design and evaluation of a Prolog compiler
- The program characteristics in logic programming language ESP
- Extended Prolog and its application to an integrated parser for text understanding
- A travel consultation system: Towards a smooth conversation in Japanese
- A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management
- Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis
- A parallel logic simulator based on Concurrent Prolog
- A method of representing processes in a constraint solver
- KRIP: A knowledge representation system for laws relating to industrial property
- Consultation system for diagnosis of headache andfacial pain: “Rhinos”
- Knowledge realization and transformation in KRISP.