Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular in...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
315 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 '87, proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987, K. Furukawa, H. Tanaka, T. Fujisaki (eds.), Berlin, Springer-Verlag, 1988, 1 vol. (VI-327 p.), Lecture notes in computer science, 3-540-19426-6 • Logic Programming '87, Texte imprimé, 9783662169896 |
Indholdsfortegnelse:
- From unification to constraints
- CS-Prolog: A generalized unification based constraint solver
- Update propagation network A framework for constraint programming
- Mendels: Concurrent program synthesis system using temporal logic
- Analogical program synthesis from program components
- Deriving a compilation method for parallel logic languages
- The art of building a parallel logic programming system or from zero to full GHC in ten pages
- of a package system into Prolog
- KPR: A logic programming language-oriented parallel machine
- A preliminary evaluation of a parallel inference machine for stream parallel languages
- Managing search in parallel logic programming
- Inductive inference of regular languages based on model inference
- Polymorphic type inference in Prolog by abstract interpretation
- Proving partial correctness of guarded horn clauses programs
- Knowledge representation and inference based on first-order modal logic
- Manipulation of embedded context using the multiple world mechanism
- Generating natural language responses appropriate to conversational situations - in the case of Japanese -
- An approach to speeding up the Prolog-based inference engine KORE/IE
- Test generation for large-scale combinational circuits by using Prolog
- Concurrent execution of Prolog transaction.