A prological definition of HASL a purely functional language with unification based conditional binding expressions Harvey Abramson Regular Papers Pages: 3 - 35
Highly parallel inference engine PIE —Goal rewriting model and machine architecture— Atsuhiro GotoHidehiko TanakaTohru Moto-Oka Regular Papers Pages: 37 - 58
Foundation of logic programming based on inductive definition Masami HagiyaTakafumi Sakurai Regular Papers Pages: 59 - 77
Description and Reasoning of VLSI circuit in temporal logic Akira FusaokaHirohisa SekiKuzuko Takahashi Short Notes Pages: 79 - 90
A Prolog-based natural language front-end system Hiroshi MaruyamaAkinori Yonezawa Short Notes Pages: 91 - 99