An operational formal definition of PROLOG: a specification method and its application Pierre DeransartGérard Ferrand Regular Papers Pages: 121 - 171
π-RED*—A graph reducer for a full-fledged γ-calculus C. SchmittgenH. BlödornW. Kluge Regular Papers Pages: 173 - 195
A typed functional extension of logic programming D. W. ShinJ. H. NangJ. W. Cho Regular Papers Pages: 197 - 221
Enhanced qualitative physical reasoning system: Qupras Masaru OhkiKiyokazu SakaneYuichi Fujii Regular Papers Pages: 223 - 253