Existe uma referência clara, com pseudo-código, sobre como implementar um intérprete Prolog em uma linguagem puramente funcional? O que encontrei até agora parece lidar apenas com linguagens imperativas, é apenas uma demonstração do Prolog implementado por si só, ou não oferece nenhum algoritmo...
O tipo de problemas com "presença na festa" pode ser solucionado no Prolog? Por exemplo: Burdock Muldoon e Carlotta Pinkstone disseram que viriam se Albus Dumbledore viesse. Albus Dumbledore e Daisy Dodderidge disseram que viriam se Carlotta Pinkstone viesse. Albus Dumbledore, Burdock Muldoon e...
Eu sei que pode ser comprovado que o PROLOG é Turing-completo construindo um programa que simula uma máquina de Turing como esta: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :-...
Acabei de descobrir recentemente sobre o KRR (representação e raciocínio do conhecimento) e o ASP, não ouvindo nada sobre eles antes (exceto um pouco sobre prólogo). Eu li um pouco sobre eles e um de seus principais usos parece ser AIs. Minha pergunta seria o quão amplamente utilizado é o ASP ou...