prolog

    7El calor

    2Respuesta

    He estado golpeando mi cabeza contra la pared en este problema de tarea durante unas horas. Tenemos que analizar una expresión regular con Prolog. En su mayor parte, los predicados que tengo funcionan

    5El calor

    1Respuesta

    Estoy tratando de llamar a Prolog usando un script PHP. Estoy usando la sintaxis encontré here, que es: $cmd = "nice -n15 /software/bin/pl -f /home/popx/cgi-bin/test.pl -g test,halt"; El programa /b

    14El calor

    2Respuesta

    Me gustaría leer un archivo de texto sin formato y aplicar un predicado a cada línea (los predicados contienen write que hace la salida). ¿Como podría hacerlo?

    22El calor

    2Respuesta

    Me gustaría escuchar a personas que tienen experiencia en programación en el mundo real al usar la biblioteca semántica de swi-prolog. Editar: El motivo de esta pregunta es que, entre las muchas perso

    5El calor

    3Respuesta

    He implementado la siguiente función en el prólogo con el siguiente código: abs2(X, Y) :- X < 0, Y is -X. abs2(X, X) :- X >= 0, !. ¿Cómo puedo implementar esta función sin el uso de corte ("!")?

    7El calor

    1Respuesta

    El proyecto trata sobre la traducción de lenguaje semi-natural a tablas de SQL. El código: label(S) --> label_h(C), {atom_codes(A, C), string_to_atom(S, A)}, !. label_h([C|D]) --> letter(C), letters

    6El calor

    1Respuesta

    Soy nuevo en Perl, y estoy jugando. Encontré este código en línea. Aquí es el fragmento de código: 82 process_input(q,[]). 83 process_input(n,Task) :- toptask(Task), set_new_threshold. 84 process_in

    7El calor

    2Respuesta

    tengo el siguiente fragmento de código de prólogo: num(0). num(X) :- num(X1), X is X1 + 1. fact(0,1) :-!. fact(X,Y) :- X1 is X-1, fact(X1,Y1), !, Y is Y1 * X. fact(X) :- num(Y), fact(Y,X). Pue

    16El calor

    4Respuesta

    Busco un predicado que trabaja como esto: ?- subset([1,2,3], X). X = [] ; X = [1] ; X = [2] ; X = [3] ; X = [1, 2] ; X = [1, 2, 3] ; X = [2, 3] ; ... He visto algunas implementaciones subset

    14El calor

    4Respuesta

    Estoy tratando de construir un simple solucionador de Prolog SAT. Mi idea es que el usuario debe ingresar la fórmula booleana a resolver en CNF (Forma Normal Conjugativa) usando listas de Prolog, por