Journal of Logic Programming, Volume 9

Volume 9, Number 1, July 1990

E. W. Elcock: Absys: The First Logic Programming Language - A Retrospective and a Commentary. 1-17
Mary-Angela Papalaskari, Scott Weinstein: Minimal Consequence in Sentential Logic. 19-31
Taisuke Sato: Completed Logic Programs and their Consistency. 33-44
Jack Minker, Arcot Rajasekar: A Fixpoint Semantics for Disjunctive Logic Programs. 45-74
Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur: Inference Rules and Proof Procedures for Inequations. 75-104
Edward P. Stabler Jr.: Representing Knowledge with Theories about Theories. 105-138

Grigori Mints, Enn Tyugu: Editorial. 139-140
I. O. Babaev: Problem Specification and Program Synthesis in the System SPORA. 141-157
Max I. Kanovich: Efficient Program Synthesis in Computational Models. 159-177
Grigori Mints, Enn Tyugu: Propositional Logic Programming and Priz System. 179-193
V. J. Mikhailov, N. K. Zamov: Deductive Synthesis of Solutions for Technological Tasks. 195-220
Efim B. Kinber, Alvis Brazma: Models of Inductive Synthesis. 221-233
S. N. Vassilyev: Machine Synthesis of Mathematical Theorems. 235-266
Vladimir S. Neiman: Refutation Search for Horn Sets by a Subgoal-Extraction Method. 267-284