Wada | Logic Programming '86 | Buch | 978-3-540-18024-1 | sack.de

Buch, Englisch, Band 264, 184 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 300 g

Reihe: Lecture Notes in Computer Science

Wada

Logic Programming '86

Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
1987
ISBN: 978-3-540-18024-1
Verlag: Springer Berlin Heidelberg

Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986

Buch, Englisch, Band 264, 184 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 300 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-18024-1
Verlag: Springer Berlin Heidelberg


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.

Wada Logic Programming '86 jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.