Logic programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1 3, 1985
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
221 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic programming '85, proceedings of the 4th [Logic Programming] Conference, Tokyo, Japan, July 1-3, 1985, ed. by Eiiti Wada, Berlin [etc.], Springer, 1986, 1 vol. (IX-311 p.), Lecture notes in computer science, 3-540-16479-0 • Logic Programming '85, Texte imprimé, 9783662181379 |
Table des matières:
- 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.