返回Google圖書搜尋

Proceedings of the Workshop on Programming with Logic Databases

其他書名	In Conjunction with ILPS, Vancouver, B.C., October 30, 1993
出版	University of Wisconsin-Madison, Computer Sciences Department, 1993
URL	http://books.google.com.hk/books?id=UKYZAQAAIAAJ&hl=&source=gbs_api

註釋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."