Formal theories of knowledge in AI and robotics Stanley J. Rosenschein Special Issue Pages: 345 - 357
The design and implementation of DLOG, a Prolog-based knowledge representation system Randy Goebel Special Issue Pages: 385 - 401
Multi-layer logic — A predicate logic including data structure as knowledge representation language Setsuo OhsugaHiroyuki Yamauchi Special Issue Pages: 403 - 439
Complex indeterminates in Prolog and its application to discourse models Kuniaki MukaiHideki Yasukawa Special Issue Pages: 441 - 466
“Introduction to logic programming” by Christopher J. Hogger Katsuhiko Nakamura Book Review Pages: 487 - 487
A Report on 1985 International Symposium on Logic Programming Hideyuki NakashimaDoug Degroot Conference Report Pages: 488 - 489