Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.
Estoy leyendo el documento “Implementing Type Theory in Higher Order Constraint Logic Programming” y en la página 7 veo el siguiente código lambda-prolog: % Reglas de tipo KAM en estilo CPS whd1 (app M N) S Ks Kf :- !, Ks [] M [N|S]. whd1 (lam T F1) [N|NS] Ks . . . Read more
He escrito un programa ASP con una condición de optimización al final. Cuando lo compilo, aunque obtengo el resultado correcto, en el resumen obtengo un valor negativo para la optimización (es decir, -3). ¿Sabes por qué sucede esto? La parte del código de optimización se ve así: number_of_leaves(N) :- #count{X . . . Read more
Para el grafo no dirigido descrito a continuación, estoy intentando obtener sus árboles de expansión y luego separar sus hojas de los nodos internos. ¿Podrías ayudarme con mi código? Lo que espero ver después de ejecutar el código es algo como: Respuesta 1: spanTree(1,2), spanTree(2,3), spanTree(3,4), leaf(1), leaf(4), internal(2), internal(3). . . . Read more
Considere este artículo del blog donde el autor implementa una relación de palíndromo utilizando “reverso”: Cuando corro (run* [q] (reverso q [1 2 3])), la salida es ([3 2 1]). Sin embargo, cuando corro (run* [q] (reverso [1 2 3] q)), el programa no termina. Puedo obtener el resultado correcto . . . Read more
instance.lp node(1). node(2). node(3). node(4). node(5). node(6). edge(1,2). edge(2,1). edge(4,1). edge(2,3). edge(2,6). edge(3,4). edge(3,5). edge(5,6). edge(6,3). begin(4). Tengo esta instancia del problema, un grafo dirigido con un nodo de inicio begin(4) y las aristas correspondientes. En este grafo, solo es posible obtener un ciclo hamiltoniano comenzando desde el nodo 4 . . . Read more