Logic Programming '86
Springer Berlin (Verlag)
978-3-540-18024-1 (ISBN)
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.
Erscheint lt. Verlag | 3.6.1987 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | VIII, 184 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 322 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
Schlagworte | Expert System • extension • inference engine • Knowledge • Künstliche Intelligenz • Logic • Mathematische Logik • Navigation • Problem Solving • programming • Programming language • PROLOG |
ISBN-10 | 3-540-18024-9 / 3540180249 |
ISBN-13 | 978-3-540-18024-1 / 9783540180241 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich