Programação Lógica

Meta-interpretador

Programa Prolog capaz de executar outros programas Prolog, implementando explicitamente os mecanismos de resolução.

← Voltar