Preguntas con Tag: prolog

Prolog es el lenguaje de programación lógica más utilizado. Soporta la programación no determinista a través del retroceso cronológico y la combinación de patrones a través de la unificación. No use esta etiqueta...

¿Cómo construyo un árbol parse de una serie de fichas S-expresión en Prolog?

Tengo curiosidad por Prolog como parser, así que estoy haciendo un pequeño Lisp front-end. Ya he hecho un tokenizer, que puedes ver aquí: base_tokenize([], Buffer, [Buffer]). base_tok
parsing prolog grammar dcg parse-tree
codealchemyf00f
3 años, 4 meses, 28 días

Cuenta el número de veces que se declara una regla - SWIProlog

Me gustaría contar el número de veces que se ha declarado cierta regla. Por ejemplo "my_rule/3": my_rule(1,A,B) :- A is 1, B is 2. my_rule(2,A,B) :- A is 2, B is
prolog swi-prolog
nasean
3 años, 4 meses, 28 días

Buscando una implementación pura de Prolog (\=)/2

Negación como fracaso generalmente se considera impuro. El intérprete Prolog necesita para la negación ya que el fracaso debe realizar SLDNF que es una extensión de SLD. El predicado (\
prolog negation-as-failure
pixelpilot
3 años, 4 meses, 28 días

Backtracking in Prolog

Soy muy nuevo en Prolog y tengo una pregunta sobre el retroceso Tengo hechos p(X, Y):- q(X, Y). p(X, Y):- r(X, Y). q(X, Y):- s(X), t(Y). r(X, Y):- u(X, Y). Me h
prolog logic backtracking
binarybuilder
3 años, 4 meses, 28 días

Listas de exercsie lista en Prolog

Tengo este ejercicio: Escribe un programa de Prolog determinístico test( +List, ?Integer ) que tiene éxito si Integer es el número de formas dos elemento
prolog swi-prolog
codecrusaderx
3 años, 5 meses, 1 días

Prolog : Realizar intersección de dos arrays sin usar funciones incorporadas (como intersección, miembro)

He ejecutado la intersección de dos arrays usando intersección en prolog. ¿Cómo puedo ejecutar esto manualmente sin usar 'intersección'? intersection([],[],[]). intersection(_,[], [])
arrays prolog
logicluminary
3 años, 4 meses, 29 días

El código no funciona. Impresión de algunos elementos específicos de una lista

Tareas: pirmieji (S,K,R) R es los primeros elementos K de S Ejemplo: ?- pirmieji([a,b,c,d,e],3,R). R = [a,b,c]. Mi código: pirmieji(S, K, R) :- pirm
prolog
byteexplorer
3 años, 4 meses, 26 días

Prolog más alto que

¿Cuál es la manera más fácil de encontrar quién es el más alto en Prolog: height(lisa,1.65). height(sam,1.70). height(luke,1.92). height(nicole,1.54). Quiero escribir<
prolog
debugdynamob312
3 años, 4 meses, 29 días