Logic Programming '86

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.