prolog

5El calor

7Respuesta

**Is there any serious project going on using** PROLOG http://www.atarimagazines.com/startv2n5/prolog.jpg **?**

13El calor

2Respuesta

Erlang Programming: ¿Aprenderá la ayuda de Prolog?

¿Aprenderá Prolog a aprender Erlang de una manera específica a Erlang? Erlang comenzó como un Prolog simultáneo, pero ¿el Erlang moderno está conectado a Prolog (más allá de la sintaxis)? Entiendo que

20El calor

4Respuesta

Hola mundo en Prolog

Me estoy desgarrando tratando de encontrar cómo escribir un programa Hello World en Prolog. Sólo quiero crear un programa que se ejecuta así: > ./hw Hello, world! > El problema es que todos los ej

10El calor

3Respuesta

números de análisis sintáctico con múltiples dígitos en Prolog

I tienen el siguiente analizador simple expresión: expr(+(T,E))-->term(T),"+",expr(E). expr(T)-->term(T). term(*(F,T))-->factor(F),"*",term(T). term(F)-->factor(F). factor(N)-->nat(N). factor(E

25El calor

2Respuesta

¿Por qué esta consulta de prólogo es verdadera y falsa?

Mi base de conocimientos SWI-Prolog contiene los siguientes dos hechos: f(a,b). f(a,c). Ahora bien, si me plantean la consulta ?- f(a,c). true. Pero ?- f(a,b). true ; false. ¿Por qué es f (a

5El calor

2Respuesta

Prolog: busque palabras en la matriz

Dada una matriz de letras nxn y una lista de palabras, el programa debe encontrar todas las apariencias de las palabras en la matriz y su ubicación. Podrían aparecer arriba, abajo, derecha e izquierda

5El calor

2Respuesta

Escribiendo el combinador Y

http://muaddibspace.blogspot.com/2008/01/type-inference-for-simply-typed-lambda.html es una definición concisa del cálculo lambda simplemente tipeado en Prolog. Se ve bien, pero luego pretende asignar

5El calor

2Respuesta

Prólogo O (;) Regla Devolver Resultado Múltiple

Tengo que definir una regla con o operador pero devuelve múltiples verdaderos o falsos. isloanaccept(Name,Guarantor,LoanType,LoanAmount,LoanTenure) :- customer(Name,bank(_),customertype(_), citizen(

7El calor

2Respuesta

problema cuando se trata de definir un operador en Prolog

he definido un archivo de prólogo con el siguiente código: divisible(X, Y) :- X mod Y =:= 0. divisibleBy(X, Y) :- divisible(X, Y). op(35,xfx,divisibleBy). Prolog se queja de que '$ rec

8El calor

2Respuesta

Soluciones duplicadas

Tengo un problema tratando de obtener algún código que devuelva respuestas únicas a mi consulta. Por ejemplo, la definición de stuff(A,B,C) :- A=C ; B=C. morestuff([],[],[]). morestuff([A|AA],[B|BB]