Logic Programming '86
Editat de Eiiti Wadaen Limba Engleză Paperback – 3 iun 1987
Preț: 316.62 lei
Preț vechi: 395.77 lei
-20%
Puncte Express: 475
Preț estimativ în valută:
55.95€ • 64.49$ • 48.84£
55.95€ • 64.49$ • 48.84£
Carte tipărită la comandă
Livrare economică 16-30 mai
Specificații
ISBN-13: 9783540180241
ISBN-10: 3540180249
Pagini: 192
Ilustrații: VIII, 184 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540180249
Pagini: 192
Ilustrații: VIII, 184 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.