Programação Lógica

Resolução SLD

Estratégia de resolução linear seletiva para cláusulas definidas, utilizada como mecanismo de execução principal em Prolog.

← Voltar