Descrição
Programas de lógica orientada a objetos podem ser escritos com uma linguagem projetada em torno de raciocínio no estilo Prolog.
Este pacote é útil para desenvolvedores, pesquisadores e estudantes que exploram programação lógica com estrutura orientada a objetos. Ele é uma linguagem de programação, não uma IDE geral.
Programas lógicos podem ser difíceis de depurar quando regras interagem. Teste predicados e exemplos com cuidado.