Meowyam / helloprolog

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

facets of prolog

clpfd & clpz

A Horn clause is a clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal. a Prolog program is a sequence of horn clauses.

About


Languages

Language:Prolog 100.0%