Programación Lógica

Predicado

Símbolo de relación asociado a una aridad fija que define una propiedad o una relación entre términos en las cláusulas lógicas.

← Volver