📁 基于逻辑的编程语言
This category is on programming languages and documents that fully or partially support the basic principles of logic programming: declarative, relational programming based on first-order logic, via Horn clauses, where authors write databases of facts and rules (clauses), and users supply goals, which programs work to prove via resolution or backward chaining. Logic programming is used extensively in artificial intelligence, AI. The first such language was Prolog. On this page, languages are arranged in two groups and levels: 1) Top group: types or classes of languages. 2) Bottom group: specific languages, with their own directory category.
子分类
条目 (14+)
RRRS-Authors Mailing List Archive
http://groups.csail.mit.edu/mac/projects/scheme/rrrs-archive.html
CMU Scheme Repository
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/scheme/0.html
The comp.lang.scheme FAQ
http://www.faqs.org/faqs/by-newsgroup/comp/comp.lang.scheme.html