Prolog

PROgrammation LOGique.

Motivation

Définir un langage de programmation de clauses logiques.

Notes