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...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
264 |
| Materias: | |
| Acceso en línea: | 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 |
| LEADER | 03842nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 944129 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155175912 | ||
| 020 | |a 9783540477129 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Logic programming conference |n (05 |d :1986 |c :Tokyo). | |
| 245 | 1 | 0 | |a Logic programming '86 : |b proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 |c [edited by] Eiiti Wada. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 264 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Wada, Eiiti, |d 1931- |4 pbd | |
| 776 | 0 | |0 020297084 |t Logic programming '86 |o proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 |f Eiiti Wada (ed.) |c Berlin |n Springer-Verlag |d 1987 |p 1 vol. (179 p.) |s Lecture notes in computer science |z 3-540-18024-9 | |
| 776 | 0 | |t Logic Programming '86 |b Texte imprimé |z 9783662181607 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18024-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SJSNGPVP-4 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747922489 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18024-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750934824 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18024-9 |z Accès INSA CVL | |
| 997 | |0 944129 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||