Prolog is a logic programming language associated with artificial intelligence, the goal of this project is to use the meet in the middle alorithm to find ALL of the shortest paths (set of moves) to ...

50 years ago, Alain Colmerauer laid the foundations of Prolog, the first computer language for "logic programming". Like LISP, it was to become one of the key tools of Artificial Intelligence (AI).

Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional ...

Abstract: Prolog is a well-known logic programming language. A Prolog program is essentially a set of knowledge predicates. A query can be executed on the knowledge set by the Prolog engine, which ...

Prolog is a logic programming language developed in the early 1970s that is about objects and relationships between objects. It aims to be a declarative programming language, i.e. Prolog programs ...

Cube Solver II is a Prolog program that solves Rubik's Cube. It includes ready-to-run executables for 386 and 486 PCs, as well as full Prolog source code. If you want to use the sources on Unix, ...