prolog

16El calor

3Respuesta

Cargando archivos en Prolog

Estoy siguiendo un tutorial de Prolog. Me está diciendo que puedo cargar otros archivos de prólogo escribiendo:. [filename]. pero cada vez que intento esto estoy recibiendo ERROR: load_files/2: Argu

prolog 2010-12-21

---

5El calor

1Respuesta

Variable de tipo de instancia en Haskell

EDIT: Solucionado. No estaba al tanto de que habilitar una extensión de idioma en el archivo fuente no permitía la extensión de idioma en GHCi. La solución fue :set FlexibleContexts en GHCi. Recientem

haskell prolog typeclass unification successor-arithmetics 2010-12-21

---

5El calor

3Respuesta

Pregunta - lenguaje formal en prolog

Estoy intentando crear un DCG que reconozca todas las listas que coinciden con este formulario: a^n b^2m c^2m d^n. me han redactado las siguientes reglas: s --> []. s --> ad. ad --> a, ad, d. ad --> b

prolog grammar dcg 2011-01-03

---

6El calor

3Respuesta

inserte el elemento en una lista y devuelva la misma lista actualizada

Hola, estoy tratando de insertar un elemento en una lista, pero es muy importante para mi programa que el resultado se almacene en la lista original y no en una nueva. Cualquier código que haya escrit

prolog 2011-01-10

---

5El calor

2Respuesta

Obtener todos los conjuntos de lista en el prólogo

¿Cómo puedo generar todos los conjuntos posibles de los elementos de una lista con la longitud actual? ?- get_set(X, [1,2,3]). X = [1,1,1] ; X = [1,1,2] ; X = [1,1,3] ; X = [1,2,1] ; X = [1,2,2]

prolog 2011-01-11

---

6El calor

3Respuesta

Concatenación de una lista de cadenas en Prolog

Escribo un traductor de Lisp a C y tengo un problema con el manejo de cadenas. Este es un código que transforma una función Lisp unario a un equivalente de C: define(F) --> fun_unary(F), !. fun_unar

prolog artificial-intelligence translation grammar dcg 2011-01-16

---

6El calor

2Respuesta

función de mapa en Erlang

Además de tener la función de mapa disponible con muchas aries (hasta 4), Prolog le permite (bajo ciertas circunstancias) asignar una función múltiple en una sola lista. Digamos que quiere probar si '

list lambda functional-programming erlang prolog 2011-01-18

---

5El calor

3Respuesta

¿Cómo se define un operador en prolog para hacer una lista?

Quiero definir un operador "++>" de forma que escribir "a ++> b" haga una lista de [a, b]. He escrito el siguiente código, pero parece que no hace el trabajo. ++>(X,Y) :- [X,Y]. :- op(500,xfy,++>).

list operators prolog 2011-01-18

---

8El calor

2Respuesta

de advertencia en el prólogo

me escribió este predicado en el prólogo: list([]). list([X|L]) :- list(L). funciona bien, pero me dio esta advertencia: **Warning: /Users/hw6.pl:2: Singleton variables: [X]** % lo que pue

prolog warnings 2011-01-21

---

7El calor

3Respuesta

¿Cómo se calcula el índice del elemento en una lista?

estoy empezando a jugar con prólogo, y con un fondo de Java es muy difícil para mí, así que aquí hay una pregunta tonta: ¿Cómo va a escribir un predicado indexOf capaz de dar el índice de un elemento

prolog 2010-12-07

---