Proceedings of the Workshop on Programming with Logic Databases In Conjunction with ILPS, Vancouver, B.C., October 30, 1993

Abstract: "An increasing number of deductive systems are now either available or becoming available (e.g., Aditi, CORAL, EKS, LDL, LOGRES, LOLA, NAIL-Glue, RDL, XSB). The workshop schedule features twelve papers describing a range of applications, and demo presentations of several implemented systems. The proceedings contain all presented papers, and short demo descriptions. The papers are in order of presentation, followed by demo descriptions; included are descriptions of two demos that are not on the presentation schedule."