Programmation Logique

Terme

Unité syntaxique fondamentale en programmation logique pouvant être une constante, une variable ou un terme composé avec un foncteur et des arguments.

← رجوع