Programmation Logique

Prédicat

Symbole de relation associé à une arité fixe définissant une propriété ou une relation entre des termes dans les clauses logiques.

← Tillbaka