prolog

6El calor

2Respuesta

Regular Expression Matching Prolog

Estoy tratando de hacer coincidencia de expresiones regulares. Tengo todas las funciones escritas, pero no funcionan como deberían. Por lo que puedo decir, tiene un problema cuando trato de comparar u

regex prolog dcg failure-slice 2012-09-25

---

8El calor

2Respuesta

usos legítimos de (\ +) // 1

En reglas de la gramática (dcg), hay varias construcciones predefinidas: (',')//2 significado concatenación, ('|')//2 significa alternancia etc. Una construcción que es apoyado por varios pero no todo

prolog dcg iso-prolog 2012-10-06

---

7El calor

3Respuesta

¿Qué tan similares son los lenguajes de bases de datos relacionales y la programación lógica?

¿Cuáles son las similitudes y diferencias en términos de los conceptos fundamentales y la implementación entre un lenguaje de base de datos relacional sql y un lenguaje de programación lógica como pro

clojure prolog relational-database clojure-core.logic 2012-06-29

---

5El calor

4Respuesta

Lista de Prólogos. Compruebe si el primer y último elemento de la lista es similar

Ejemplo: firstlast([1,2,3,4,1]). true; firstlast([1,2,3,4]). false; firstlast([5,10,4,3]). false; exc... El problema es im sólo se permite el uso de la recursividad con el predicado "firstl

list prolog dcg 2012-10-10

---

7El calor

3Respuesta

Extensión a CFG, ¿qué es?

Considere la siguiente extensión de gramáticas libres de contexto que permite que las reglas tengan en el lado izquierdo, uno (o más) terminal en el lado derecho del no terminal. Es decir, reglas de l

prolog context-free-grammar dcg iso-prolog dcg-semicontext 2012-08-22

---

12El calor

2Respuesta

contar el número de llamadas de una cláusula

tengo una cláusula como siguiente: lock_open:- conditional_combination(X), equal(X,[8,6,5,3,6,9]),!, print(X). esta cláusula tenga éxito. Pero quiero saber cuántas veces se llama a

recursion count prolog clause 2012-07-06

---

16El calor

2Respuesta

¿Cómo añado listas en prolog?

¿Cómo añado listas en prolog? Lo he buscado en internet y encontré esto (de http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_7.html) append([X|Y],Z,[X|W]) :- append(Y,Z,W). append([],X,X).

list prolog append concatenation 2012-07-18

---

14El calor

4Respuesta

Excluir autor de revisión de gerrit

Quiero rechazar que el autor de un cambio revise sus propios cambios en gerrit. Soy consciente de this suggested hack, pero eso realmente no resuelve el problema. Ahora yo learned from the gerrit issu

prolog gerrit 2012-07-19

---

29El calor

1Respuesta

Predicado para declarar coordenadas descendentes/ascendentes usando dominios finitos

Me gustaría escribir un predicado, descendo, que declara que la primera coordenada dada [y, x] desciende a la segunda coordenada dada (imagine la placa con [0 , 0] en la esquina superior izquierda). U

clojure prolog logic clojure-core.logic 2012-09-10

---

5El calor

1Respuesta

Datalog Stratification

Así que estoy tratando de entender cómo funciona Datalog y una de las diferencias entre él y Prolog es que tiene limitaciones de estratificación sobre la negación y la recursión. Para citar Wikipedia:

prolog logic datalog 2012-09-12

---