Примеры программ на PROLOG

predicates
решение(real,real)
clauses   

решение(Y,X):-
X<=2,
A=Y+sin(X),
B=X+1/10,
решение(A,B).

решение(Y,X):-
X>2,
write("Ответ: ",Y," ").
goal
Y=0,
X=1,
решение(Y,X).

predicates
    f(real, real)
    pow(integer, integer, integer)
   
clauses
    pow(X, Y, M) :- M=exp(Y*ln(X)).
   
    f(1, 2) :- !.

    f(X, FX) :-
        Y = X-1,
        f(Y, FY),
        pow(2, X, M),
        FX = M+FY.

goal
    X=4, f(X, FX).

predicates
    f(real, real)
   
clauses
    f(1, 0.5) :- !.
   
    f(X, FX) :-
        Y = X-1,
        f(Y, FY),
        FX = (1-(1/(X*2)))*FY.

goal
    X=10, f(X, FX).

domains
     treetype = tree (string, treetype, treetype); empty ()

    predicates
     max(integer, integer, integer)
     print_all_elements (treetype, integer, integer)
    
    clauses
   
    max(X, Y, X) :- X>Y, !.
    max(X, Y, Y) :- Y>X, !.
   
     print_all_elements (empty, N, MAX):- max(N, MAX, M), M>MAX, write(M), nl, !.

     print_all_elements (tree (X, Y, Z), N, M):-
         write (X), nl, N1 = N + 1,
          print_all_elements (Y, N1, M),
          print_all_elements (Z, N1, M).

goal
        print_all_elements  (tree ("Катя",   
                            tree ("Миша", 
                                tree ("Вова", empty, empty), 
                                tree ("Лида",
                                    tree ("Маша", empty, empty),
                                    tree ("Дуся",
                                        tree ("Ира", empty, empty),
                                        tree ("Вася", empty, empty)))),
                            tree ("Люда",
                                tree ("Зина", empty, empty),
                                tree ("Петя", empty, empty))), 0, 0).

domains
    treetype = tree(string, treetype, treetype); empty()
    argument=real
    result=real
predicates
    pp(treetype, integer)
    print(treetype)
    prob(integer)
       
clauses   

    prob(0):-!.
    prob(N):-write("    "),N1=N-1, prob(N1).
    print(empty).
    print(tree(X, _, _)) :- write(X), nl, !.
   
    pp(empty, _).
        pp(tree(X, _, _), 0) :- write(X),write("\n").
    pp(tree(_, Y, Z), N) :- N1 = N+1, prob(N),print(Y),prob(N),print(Z),pp(Y, N1),pp(Z, N1).
       
goal
    pp(tree("Anna(0)",
        tree("Victor(1)",
            tree("Alexandr(2)", empty, empty),
            tree("Joneya(2)", empty, empty)),
        
         tree("Luda(1)",
                 tree("Vic(2)", empty, empty),
                 tree("vicki(2)", empty, empty))),
     0), nl, fail; true.

/* Простые процедуры построения дерева            
    create_tree (A, B) помещает A в поле данных одноузлового
              дерева B                
     insert_left (A, B, C) вставляет A как левое поддерево B
                и присваивает результат C    
     insert_right (A, B, C) вставляет A как правое поддерево
                B и присваивает результат C */

    domains
     treetype = tree (string, treetype, treetype); empty ()

    predicates
     create_tree (string, treetype)
     insert_left (treetype, treetype, treetype)
     insert_right (treetype, treetype, treetype)
    run

    clauses
     create_tree (A, tree (A, empty, empty)).
     insert_left (X, tree (A, _, B), tree (A, X, B)).
     insert_right (X, tree (A, B, _), tree (A, B, X)).

    run:-
     /* Сначала создадим несколько одноузловых деревьев*/

     create_tree ("Вова", V),
     create_tree ("Лида", Ld),
     create_tree ("Миша", M),
     create_tree ("Зина", Z),
     create_tree ("Петя", P),
     create_tree ("Люда", L),
     create_tree ("Катя", K),

     /*...затем соединим их... */

     insert_left (V, M, M2),
     insert_right (Ld, M2, M3),
     insert_left (Z, L, L2),
     insert_right (P, L2, L3),
     insert_left (M3, K, K2),
     insert_right (L3, K2, K3),

     /*...и печатаем результат. */

     write (K3, '\n').

goal
    run.

predicates
    f(real, real)
   
clauses
    f(1, 0.5) :- !.
   
    f(X, FX) :-
        Y = X-1,
        f(Y, FY),
        FX = (1-(1/(X*2)))*FY.

goal
    X=10, f(X, FX).