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).

The listing sheet, as PDF, can be found here, while below is an unruly html rendition. This reference sheet is built around the system https://github.com/alhassy ...

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 ...

I found this prolog program to solve the five houses puzzle (Einestine's puzzle) on the net. Given that I don't know Prolog bsides that it's a predicative language, I started to learn it last night.

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 ...

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 ...

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, ...