Preguntas etiquetadas con prolog

¿Existe una referencia clara, con pseudocódigo, sobre cómo implementar un intérprete Prolog en un lenguaje puramente funcional? Lo que he encontrado hasta ahora parece tratar solo con lenguajes imperativos, es simplemente una demostración de Prolog implementado en sí mismo, o no ofrece un algoritmo concreto para usar para la interpretación. …

25 functional-programming  prolog  logic-programming 

¿Se pueden resolver los problemas de "asistencia a la fiesta" en Prolog? Por ejemplo: Burdock Muldoon y Carlotta Pinkstone dijeron que vendrían si venía Albus Dumbledore. Albus Dumbledore y Daisy Dodderidge dijeron que vendrían si viniera Carlotta Pinkstone. Albus Dumbledore, Burdock Muldoon y Carlotta Pinkstone dijeron que vendrían si venía …

18 logic  constraint-programming  prolog  logic-programming 

Sé que se puede demostrar que PROLOG es Turing completo mediante la construcción de un programa que simula una 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) :- …

15 programming-languages  turing-completeness  logic-programming  prolog 

Recientemente me enteré de KRR (Representación del conocimiento y razonamiento) y ASP, sin haber escuchado nada sobre ellos antes (excepto un poco sobre el prólogo). He leído un poco sobre ellos y uno de sus usos principales parece ser la IA. Mi pregunta sería cuán ampliamente utilizados son los ASP …

9 prolog