Règles du forum

Le langage Prolog et sa sémantique seulement, pas les questions techniques liées à des interpréteurs en particulier. La référence est ici le Prolog de base et les clauses de Horn, sans tenir compte du standard ISO, car celui‑ci n’étant pas publiquement accessible, il ne peut pas constituer une base commune.