The role of logic programming in the Fifth Generation Computer Project Kazuhiro FuchiKoichi Furukawa Leading Article Pages: 3 - 28
Compiling OR-parallelism into AND-parallelism Michael CodishEhud Shapiro Special Issue Pages: 45 - 61
P-Prolog: A parallel logic language based on exclusive relation Rong YangHideo Aiso Special Issue Pages: 79 - 95
A framework for ICAI systems based on inductive inference and logic programming Kazuhisa KawaiRiichiro MizoguchiJun’ichi Toyoda Special Issue Pages: 115 - 129