Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986
This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
264 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 '86, proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986, Eiiti Wada (ed.), Berlin, Springer-Verlag, 1987, 1 vol. (179 p.), Lecture notes in computer science, 3-540-18024-9 • Logic Programming '86, Texte imprimé, 9783662181607 |
Sommario:
- Plan-based text generation in an on-line help system
- Inheritance hierarchy mechanism in prolog
- Kore : A hybrid knowledge programming environment for decision support based on a logic programming language
- Legal expert system LES-2
- A prototype software simulator for FGHC
- A foundation of reasoning by analogy: Analogical union of logic programs
- Logic interface system on navigational database systems
- Programming in modal logic: An extension of PROLOG based on modal logic
- On parallel programming methodology in GHC
- An optimizing prolog compiler
- A prolog based object oriented language SPOOL and its compiler
- Development of C-Prolog compiler
- A framework for interactive problem solving based on interactive query revision
- Prolog computation model BPM and its debugger PROEDIT2
- Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting
- - Fleng Prolog - The language which turns supercomputers into parallel prolog machines.