Third International conference on logic programming : Imperial college of science and technology, London, United Kigdom, July 14-18, 1986 : proceedings
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
225 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Third International conference on logic programming, Imperial college of science and technology, London, United Kigdom, July 14-18, 1986, proceedings, edited by Ehud Shapiro, Berlin, Springer-Verlag, 1986, 1 vol. (IX-720 p.), Lecture notes in computer science, 3-540-16492-8 • Third International Conference on Logic Programming, Texte imprimé, 9783662165553 |
| LEADER | 05779nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 945100 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155214519 | ||
| 020 | |a 9783540398318 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on logic programming |n (03 |d :1986 |c :Londres). | |
| 245 | 1 | 0 | |a Third International conference on logic programming : |b Imperial college of science and technology, London, United Kigdom, July 14-18, 1986 : proceedings |c edited by Ehud Shapiro. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 225 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a The role of logic programming in the Fifth Generation Computer Project -- An abstract machine for restricted AND-parallel execution of logic programs -- Efficient management of backtracking in AND-Parallelism -- An intelligent backtracking algorithm for parallel execution of logic programs -- Delta Prolog: A distributed backtracking extension with events -- OLD resolution with tabulation -- Logic programs and alternation -- Intractable unifiability problems and backtracking -- On the complexity of unification sequences -- How to invent a Prolog machine -- A sequential implementation of Parlog -- A GHC abstract machine and instruction set -- A Prolog processor based on a pattern matching memory device -- An improved version of Shapiro's model inference system -- A framework for ICAI systems based on inductive inference and logic programming -- Rational debugging in logic programming -- Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning -- Some issues and trends in the semantics of logic programming -- Parallel logic programming languages -- P-Prolog: A parallel logic language based on exclusive relation -- Making exhaustive search programs deterministic -- Compiling OR-parallelism into AND-parallelism -- Shared memory execution of committed-choice languages -- Logic program semantics for programming with equations -- On the semantics of logic programming languages -- Towards a formal semantics for concurrent logic programming languages -- Design of a Prolog-based machine translation system -- Parallel logic programming for numeric applications -- Sequential and concurrent deterministic logic grammars -- A parallel parsing system for natural language analysis -- Equivalences of logic programs -- Qualified answers and their application to transformation -- Procedures in Horn-clause programming -- Higher-order logic programming -- Abstract interpretation of Prolog programs -- Verifleation of Prolog programs using an extension of execution -- Detection and optimization of functional computations in Prolog -- Control of logic program execution based on the functional relation -- Declarative graphics -- Test-pattern generation for VLSI circuits in a Prolog environment -- Using Prolog to represent and reason about protein structure -- A New approach for introducing Prolog to naive users -- Prolog programming environments: Architecture and implementation -- Design overview of the NAIL! System -- A superimposed codeword indexing scheme for very large Prolog databases -- Interfacing Prolog to a persistent data store -- A general model to implement DIF and FREEZE -- Cyclic tree traversal -- Completeness of the SLDNF-resolution for a class of logic programs -- Choices in, and limitations of, logic programming -- Negation and quantifiers in NU-Prolog -- Gracefully adding negation and disjunction to Prolog -- Memory performance of Lisp and Prolog programs -- The design and implementation of a high-speed incremental portable Prolog compiler -- Compiler optimizations for the WAM -- Fast decompilation of compiled Prolog clauses -- Logic continuations -- Cut & Paste defining the impure primitives of Prolog -- Tokio: Logic programming language based on temporal logic and its compilation to Prolog -- The OR-forest description for the execution of logic programs. | |
| 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 | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Shapiro, Ehud Y., |d 1955- |4 pbd | |
| 776 | 0 | |0 030367654 |t Third International conference on logic programming |o Imperial college of science and technology, London, United Kigdom, July 14-18, 1986 |o proceedings |f edited by Ehud Shapiro |c Berlin |n Springer-Verlag |d 1986 |p 1 vol. (IX-720 p.) |s Lecture notes in computer science |z 3-540-16492-8 | |
| 776 | 0 | |t Third International Conference on Logic Programming |b Texte imprimé |z 9783662165553 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-16492-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-JP7LJK2H-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747913692 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-16492-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750926457 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-16492-8 |z Accès INSA CVL | |
| 997 | |0 945100 |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/ | ||