Programação Lógica

Base de Fatos

Conjunto de proposições atômicas consideradas verdadeiras em um sistema de programação lógica, servindo como ponto de partida para as deduções.

← Voltar