From the hub
Imagine an internet where you could write Prolog...
Imagine no more, write Tau Prolog!
Introduction to using CLP(FD). A guide from scenario description, to mathematical representation, to code, for the kind of problems that are typical in the Operational Research/Management Science domain. We're maximizing profit or minimizing spending given some constraints on resources.
Failure is a big part of logic programming success! (always wanted to write this :-)
Predicates are often required to perform repetitive operations. For example, assume a table of...
Create a domain for planning in and code A* to search for a path to the goal.
An example of using Prolog's definite clause grammar to write a compiler for a Pascal-like programing language. The example is taken from the open access textbook: "The Art of Prolog".
Under the open world assumption a fact can be True, False or Unknown. Prolog operates in a closed world where predicates are either True or False. Let's see if we can open Prolog up a little.
An example of what computer science textbooks call "adversarial search" using the minimax and alpha-beta theorems to create an AI game player written in Prolog.