Программы на прологе (Страница 1 из 2)

predicates
    sum(integer,real)
    member(integer,real)
    sum(real,real,real,real)
clauses
    member(Y,R):-A=2*Y,B=A+1,R=A/B.
    sum(N,R):-sum(N,R,N,1).
    sum(N,R,0,R):-!.
    sum(N,R,L,P):-member(L,R1),
    L1=L-1,
    P1=P*R1,
    sum(N,R,L1,P1).   
                       
goal
    sum(2,R1).

predicates
max_1(integer,integer).
max(integer,integer,integer).
clauses

max_1 (X,Y):- X>Y,! .
max_1 (Y,X):- Y>X.

max (X,Y,Z):-  max_1(X,Y),max_1(X,Z), write ("Максимальное число = ",X,"\n"), ! .
max (X,Y,Z):-  max_1(Y,X),max_1(Y,Z), write ("Максимальное число = ",Y,"\n"), ! .
max (X,Y,Z):-  max_1(Z,Y),max_1(Z,X), write ("Максимальное число = ",Z,"\n").

GOAL:  random(100,A), random(100,B), random(1000,C),
max( A, B, C).

predicates
mesto(integer)
name(symbol)
shymaher(symbol,integer)
alezi(symbol,integer)
hill(symbol,integer)
kylxard(symbol,integer)

clauses
mesto(1).
mesto(2).
mesto(3).
mesto(4).
name(shymaher).
name(hill).
name(alezi).
name(kylxard).

shymaher(shymaher,X):- mesto(X), not(X=4), not(X=2), not(X=3).
hill(hill,Y):- mesto(Y), shymaher(shymaher,X), not(Y=X), not(Y=2), not(Y=4).
kylxard(kylxard,X):- mesto(X), shymaher(shymaher,Y), hill(hill,Z), not(X=Y), not(X=Z), not(X=4).
alezi(alezi,X):- mesto(X),shymaher(shymaher,Y), hill(hill,Z), kylxard(kylxard,V), not(X=Z), not(X=V).

goal
shymaher(X1,Y1),hill(X2,Y2),kylxard(X3,Y3),alezi(X4,Y4).

predicates
    r(unsigned, real, unsigned, real)
    r(unsigned, real)
    do
clauses
    r(N, Proiz):-
        r(N, Proiz, 0, 1).
    r(N, Proiz, N, Proiz):-!.
    r(N, Proiz, I, P):-
        NewI=I+1,       
        NewP=P*((NewI+1)),
        r(N, Proiz, NewI, NewP).
    do:-
        write("Введите число: "), readint(N), X=2*N,  r(X, Sum), write("Произведение ряда  = ",Sum,"\n").
goal
    do.

predicates
    r(long)
    %r(unsigned, long,unsigned, long)
    do
clauses
    %r(N, NewPr):- r(N, NewPr,1,1).
    %r(N, NewPr,N, NewPr):- !.
    r(X):- X>100,write("\nNO\n"),!.
    r(X):- X=81,write("\nYES\n"),!.
    r(X):- NewX=X*X,%write(NewX),
    r(NewX).

    do:-write("Ввведите "), readint(X),   r(X). %write("Сумма=", Pr,"\n").
goal
    do.

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

    predicates
     %all_elemeprint_nts (treetype)
find_tap(treetype,string)
    clauses
     find_tap (empty,A).

     find_tap (tree (X, Y, Z),A):-
       write (X), nl,A<>X,
       find_tap(Y,A),
       find_tap (Z,A).

    goal
      find_tap  (tree ("Katea",   
                                tree ("Misha", 
                                      tree ("Vova", empty, empty), 
                                        tree ("Lida", empty, empty)),
                                tree ("Lyda",
                                tree ("Zina", empty, empty), 
                                         tree ("Petea", empty, empty))),"Petea"),nl,fail;true.

DOMAINS
   treetype = tree (integer, treetype, treetype); empty
   
PREDICATES
   max(treetype)
   max(treetype,integer)
   compare(integer,integer,integer)

CLAUSES
   max(tree(X,Y,Z)):-compare(X,0,R),max(tree(X,Y,Z),R).
   
   max(empty,M):-write("MAX - ",M,"\n"),!.
   max(tree(X,Y,Z),M):-
      compare(X,M,Rez),
      max(Y,Rez),
      max(Z,Rez).
   
   compare(X,Y,Z):-X>=Y,!,Z=X.
   compare(_,Y,Z):-Z=Y.

GOAL
   %clearwindow,
   max(tree(10,
            tree(5,
               tree(3,empty,empty),
               tree(7,empty,empty)),
            tree(15,
               tree(16,empty,empty),
               tree(17,empty,empty)))).

predicates
    ryad (integer, real)
    ryad(integer, real, real)
clauses
    ryad(N, Zn):-ryad(N, Zn,Sin),!.
    ryad(1, X, Z ):- X=1/sin(1), Z=sin(1),!.
    ryad(N, Zn, Sin):-
        NewN=N-1,
        ryad( NewN, NewZn, NewSin),
        Sin=NewSin+sin(N),
        Zn=NewZn+(1/Sin).
GOAL: write ("Enter a number.\n"),readint(X), ryad(X, Y).

predicates
    ryad (integer, real)
    ryad(integer, real, real, real)
clauses
    ryad(N, Zn):-ryad(N, Zn, Cos, Sin),!.
    ryad(1, X, Y, Z ):- X=cos(1)/sin(1), Y=cos(1), Z=sin(1),!.
    ryad(N, Zn, Cos, Sin):-
        NewN=N-1,
        ryad( NewN, NewZn, NewCos, NewSin),
        Cos=NewCos+cos(N),
        Sin=NewSin+sin(N),
        Zn=NewZn*Cos/Sin.
       
GOAL: write ("Enter a number.\n"),readint(X), ryad(X, Y).

predicates
    ryad (integer, real)
    ryad(integer, real, real, real)
    ryad(integer, real, real, real, integer, real, real, real)
clauses
    ryad(N, Zn):-ryad(N, Zn, Cos, Sin),!.
    ryad(N, Zn, Cos, Sin):-ryad(N, Zn, Cos, Sin, 1, 0.6420926, 0.5403023,0.8414709).
    ryad(N, Zn, Cos, Sin, N, Zn, Cos, Sin):- !.
    ryad(N, Zn, Cos, Sin, I, Z, C, S):-
        NewI=I+1,
        NewCos=C+cos(NewI),
        NewSin=S+sin(NewI),
        NewZn=Z*NewCos/NewSin,
        ryad(N, Zn, Cos, Sin, NewI, NewZn, NewCos, NewSin).
GOAL:  write ("Enter a number.\n"),readint(X),ryad(X, Y).