prolog

7El calor

2Respuesta

¿Hay algún programa que pueda dibujar un árbol de búsqueda de consultas Prolog?

Me preguntaba si existe una herramienta que pueda dibujar un árbol de búsqueda paso a paso de un programa Prolog. Gracias.

prolog swi-prolog search-tree 2012-02-25

---

6El calor

6Respuesta

Prolog preguntas básicas

En primer lugar, ¿qué recomiendas como un libro para aprender prólogo. Segundo, ¿hay una manera fácil de cargar muchos archivos .pl a la vez? Actualmente solo está haciendo uno a la vez con ['name.pl'

prolog 2012-03-01

---

8El calor

4Respuesta

Algoritmo - distribución ideal entre varios Talleres y Plazos

Estoy buscando un algoritmo con el fin de resolver los siguientes problemas: Digamos que estoy organizando un curso con 300 asistentes y 6 talleres divididos en 3 Plazos. Todos los asistentes deben re

php actionscript-3 algorithm math prolog 2012-01-17

---

6El calor

3Respuesta

convertir número Peano s (n) de número entero en Prolog

me encontré con esta evaluación número natural de números lógicos en un tutorial y me ha estado dando algunos dolores de cabeza: natural_number(0). natural_number(s(N)) :- natural_number(N). La reg

prolog clpfd successor-arithmetics 2012-01-21

---

5El calor

2Respuesta

Predicado Prólogo - bucle infinito

Necesito crear un predicado Prolog para potencia de 2, con los números naturales. Los números naturales son: 0, s (0), s (s (0)) ans así sucesivamente .. Por ejemplo: ?- pow2(s(0),P). P = s(s(0)); f

prolog exponentiation failure-slice successor-arithmetics non-termination 2012-03-16

---

10El calor

3Respuesta

Contar el número de apariciones de un número en una lista

Estoy escribiendo un programa en el prólogo que cuente el número de veces que aparece un número en una lista count([],X,0). count([X|T],X,Y):- count(T,X,Z), Y is 1+Z. count([_|T],X,Z):- count(T,X,Z)

list prolog 2012-01-31

---

5El calor

2Respuesta

¿Alguien ha visto una buena implementación de código abierto Prolog del demostrador de teoremas SATCHMO?

He visto bastantes artículos en el probador de teoremas de SATCHMO que hablan sobre las implementaciones de Prolog. Pero la única implementación del código fuente que he encontrado hasta ahora estaba

prolog theorem-proving 2012-02-08

---

6El calor

1Respuesta

Quiero crear hechos dinámicos en prolog

Escribí el siguiente código simple, y espero que cuando escribo 'masculino', este código me pregunte una vez "¿es masculino?" y si ingreso 'No' escriba en la pantalla "ella es mujer". male :- (print('

prolog prolog-assert 2011-12-29

---

10El calor

3Respuesta

Concatenación de listas en Prolog

¿Alguien puede ayudar a encontrar el error en estas reglas? concat([], List, List). concat([Head|[]], List, [Head|List]). concat([Head|Tail], List, Concat) :- concat(Tail, List, C), concat(Head, C,

list prolog 2012-02-19

---

9El calor

3Respuesta

Prolog: Random Etiquetado

que tiene un programa escrito en Prolog SICStus mediante restricciones. Mi objetivo es usar etiquetado/2 y algún otro método para obtener una instanciación aleatoria de mis variables. Ejemplo: X #> 2,

prolog sicstus-prolog clpfd 2012-01-01

---