<--- Back to Details
First PageDocument Content
Functional languages / Lisp programming language / Reasoning / Prolog / Artificial intelligence / Logic programming / Common Lisp / Backtracking / Backward chaining / Software engineering / Computing / Computer programming
Date: 2012-10-01 15:31:57
Functional languages
Lisp programming language
Reasoning
Prolog
Artificial intelligence
Logic programming
Common Lisp
Backtracking
Backward chaining
Software engineering
Computing
Computer programming

Artificial Intelligence through Prolog by Neil C. Rowe

Add to Reading List

Source URL: cdn.preterhuman.net

Download Document from Source Website

File Size: 1,12 MB

Share Document on Facebook

Similar Documents

Mathematics / Theoretical computer science / Elementary mathematics / Compiler optimizations / Static single assignment form / Logic programming / Scope / Unification / Term / FO / Variable / Singular spectrum analysis

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

DocID: 1xUvR - View Document

Computational neuroscience / Machine learning / Artificial intelligence / Cybernetics / Learning / Applied mathematics / Artificial neural networks / Formal sciences / Backpropagation / Inductive programming

Differentiable Inductive Logic Programming Richard Evans, Ed Grefenstette @LittleBimble, @egrefen https://jair.org/index.php/jair/article/view/11172

DocID: 1xTa2 - View Document

WHAT IS SPACECHEM? SpaceChem is an intriguing, "problem-solving centric" puzzle game by Zachtronics Industries that combines the logic of computer programming with the scientific domain of chemistry, set in an original s

DocID: 1vmld - View Document

Experiences Using an Interactive Presentation Platform in a Functional and Logic Programming Course

DocID: 1uM8H - View Document

See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationAnalysis of Performance of Various Activation Functions for doing the logic programming in Hopfield

DocID: 1uzA8 - View Document