Preguntas etiquetadas con logic-programming

¿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 hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Estoy particularmente interesado en soluciones al problema de que la búsqueda encapsulada puede depender del orden de evaluación. De acuerdo con [1], la búsqueda encapsulada en PAKCS depende del orden de evaluación, mientras que en MCC no, pero su uso requiere conocimiento de la implementación del compilador y no sigue …

8 reference-request  functional-programming  nondeterminism  logic-programming