文件名称：The Godel Programming Language
文件大小：4.55MB
文件格式：PDF
更新时间：2017-01-16 16:55:36
Godel Programming Language
The logic programming approach to computing investigates the use of logic as a programming language and explores computational models based on controlled deduction. The field of logic programming has seen a tremendous growth in the last several years, both in depth and in scope. This growth is reflected in the number of articles, journals, theses, books, workshops, and conferences devoted to the subject. The MIT Press series in logic programming was created to accommodate this development and to nurture it. It is dedicated to the publication of high-quality textbooks, monographs, collections, and proceedings in logic programming.