Форум компьютерной помощи — Программы на прологе

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:47:50 +0000

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:47:38 +0000

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:46:56 +0000

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:46:46 +0000

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:46:32 +0000

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:45:55 +0000

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:45:41 +0000

/*****************************************************************************

Project: RV
FileName: RV.PRO
Purpose: No description
Written by: Visual Prolog
Comments:
******************************************************************************/

include "rv.inc"

predicates

rv()

clauses

rv():-!.

goal

rv().

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:45:26 +0000

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:45:19 +0000

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:45:12 +0000

predicates
abc(integer,integer,integer)
a1b1c1(integer,integer,integer)
it(integer)
it1(integer)
max(integer)
clauses
abc(8,3,13).
a1b1c1(2,6,45).

it(X):-abc(X,Y,Z),Xit(X):-abc(Y,X,Z),Xit(X):-abc(Z,Y,X).

it1(X):-a1b1c1(X,Y,Z),Xit1(X):-a1b1c1(Y,X,Z),Xit1(X):-a1b1c1(Z,Y,X).

max(X):-it(X),it1(Y),X>Y,!.
max(X):-it1(X),it(Y).

goal
it(Min),
write("Min v treygolnike abc=",Min," ");
it1(Min),
write("Min v treygolnike a1b1c1=",Min," ");
max(Max),
write("Max v dvyx treygolnikax abc i a1b1c1=",Max," ").

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:44:54 +0000

predicates
ch(integer)
a(integer)
clauses
ch(-10).

a(X):-ch(X),X>0,!.
a(X):-ch(Y),X=Y-2*Y.

goal
a(X).

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:44:15 +0000

domains
argument =real
result =real
predicates
func(argument, result)
clauses
func(X,Y):- X<-2,Y=X*X,!.
func(X,Y):- X<5,Y=X+1,!.
func(X,Y):-Y=X*X .
goal
X=-6,
func(X, Y),
write("Pri X=",X," F(X)=",Y," ").

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:44:09 +0000

predicates
функция(real, real, string)
clauses
функция(X,Y,Z):- Y=X*X, Z="X^2", X<-2,!.
функция(X,Y,Z):- Y=X+1, Z="X+1", X<5,!.
функция(X,Y,Z):- Y=X*X, Z="X^2", X>=5.
goal
readreal(X),
функция(X,Y,Z),
write("X = ",X," Y=",Y," Вид зависимости: ",Z," ").

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:44:00 +0000

predicates
вероятность(real)
предположение(real,real,real,real)
решение(real,real,real,real)
clauses
вероятность(1).
вероятность(2).
вероятность(3).
вероятность(4).

предположение(A,B,C,D):-
A=B,not(C=D).
предположение(A,B,C,D):-
not(A=B),C=D.

решение(A,B,C,D):-
вероятность(A),
вероятность(B),
вероятность(C),
вероятность(D),
A<>B,A<>C,A<>D,B<>C,B<>D,C<>D,
предположение(D,1,B,2),
предположение(D,2,C,3),
предположение(A,2,C,4).
goal

решение(Андрей, Виктор, Дима, Саша).

Re: Программы на прологе

null@example.com (admin) — Fri, 21 Dec 2012 14:43:16 +0000

predicates
man(symbol)
woman(symbol)
parent(symbol, symbol)
d_brat(symbol, symbol)
d_sestra(symbol, symbol)

clauses
man(sergey).
man(dmitriy).
man(valera).
man(petr).
man(mihail).
man(nikolay).
man(alex).
man(alexandr).
man(kostya).
woman(barbara).
woman(anna).
woman(tatiana).
woman(liza).
woman(katya).
woman(juli).
woman(raisa).
woman(lyuda).

parent(barbara, liza).
parent(liza, alex).
parent(alex,kostya).
parent(raisa, kostya).
parent(anna, katya).
parent(anna, petr).
parent(sergey, katya).
parent(sergey, petr).
parent(katya, juli).
parent(petr, alex).
parent(petr, alexandr).
parent(alexandr, lyuda).
parent(juli, lyuda).
parent(tatiana, mihail).
parent(dmitriy, mihail).
parent(mihail, juli).
parent(valera, nikolay).
parent(nikolay, raisa).

d_brat(X, Y) :- man(X), parent(Z, X), parent(W, Y), parent(Q, Z), parent(Q, W), Z<>W, X<>Y.
d_sestra(X, Y) :- woman(X), parent(Z, Y), X<>Y, parent(W, X), parent(Q, Z), parent(Q, W), Z<>W.

goal
d_brat(Who, Whose); write("-------------------------------------------------"), nl, d_sestra(Who, Whose).