1
: .
:
-31
..
.
:
. .
2013
: () .
:
1. ;
2. ;
3. ;
4. ;
5. ;
6. ;
7. ;
8. .
1. PDCProlog321 PROLOG,
Alt+E
Edit
2. 25
3. , File Write to( ). , Mult
4. , Alt+R. Run() .
Message .
. .
, .
5. , , , . F10 .
EXE-, , :
1. Compile( Alt C).
2. Compile EXE ( E).
yes(), : Execute(y/n) ( (/), y.
, Message Link succeeeded.
F5 ( ,- ).
.
6. Alt E.
: goal , reading(X) radint(X). Alt R. , :
419 Syntax error in clause body, predicate call expected. ( , ).
. , F10. , (radint(X)) :
|
|
404 Undeclared predicate or misspelling(404 .)
F10. . diagnostics, :
- (Predicate Name);
- (Type , );
-/ (Determ);
- (Size);
- (Domains -- flowpattern)
.
F1, .
7. Files( Alt F) Directory. Enter file mask( ). , (* *), . *.PRO, *.PRO, .
:
9. : File Load.
*.PRO:
.
trace :
Alt+R. , :
CALL: _PROLOG_Goal()
F10, : write(\nVvedite chislo -> )
F10, : CALL: readint(_)
F10, , .
2 Enter.
: RETURN: readint(2)
F10 :
50=50
write(\nProizvedenie chisla)
write(2)
write(n\na chislo 25 ravno )
write(50)
RETURN: _PROLOG_Goal()
\
. F10 , ( ) .
10.
Alt X Files Q.
1. Ctrl-K , Ctrl-F5 , Ctrl-F5 , .
2. F10 , .
3. F6 .
():
parent (symbol, symbol), man (symbol), woman (symbol), married (symbol,symbol), , . 6 (: , , , , , , , , , , , , , ..).
|
|
.
( GOAL).
1. :
Ҹ |
Sergey |
Mitya |
Gerald |
Lyudmila |
Yuriy |
Larisa |
Viktor |
Svyeta |
Nina |
Diana |
Maksim |
:
PREDICATES
parent(string,string) ()
man(string) ()
woman(string) ()
married(string,string) ()
mother(string,string) ()
father(string,string) ()
sister(string,string) ()
brother(string,string) ()
niece(string,string) ()
nephew(string,string) ()
aunt(string,string) ()
uncle(string,string) ()
grandmother(string,string) ()
grandfather(string,string) ()
granddaughter(string,string) ()
grandson(string,string) ()
cousine(string,string) ()
cousin(string,string) ()
CLAUSES .
parent(Yuriy,Sergey).
parent(Larisa,Sergey).
parent(Gerald,Yuriy).
parent(Gerald,Mitya).
parent(Lyudmila,Yuriy).
parent(Lyudmila,Mitya).
parent(Viktor,Larisa).
parent(Viktor,Svyeta).
parent(Nina,Larisa).
parent(Nina,Svyeta).
parent(Svyeta,Maksim).
parent(Svyeta,Diana).
man(Yuriy). -
man(Sergey). -
man(Gerald). -
man(Viktor). -
man(Mitya). -
man(Maksim). -
woman(Larisa). -
woman(Lyudmila). -
woman(Nina). -
woman(Svyeta). -
woman(Diana). -
married(Yuriy,Larisa).
married(Gerald,Lyudmila).
married(Viktor,Nina).
mother(M,X):-parent(M,X),woman(M). M- X, M X, M-
father(F,X):-parent(F,X),man(F). F X, F X, F-
sister(S,X):-parent(P,S),parent(P,X),S<>X,woman(S). S- X P- S P- , S X, S-
brother(B,X):-parent(P,B),parent(P,X),B<>X,man(B). B- X P- B P- , B X, B-
niece(N,X):-parent(P,N),sister(P,X),woman(N). N- X - N - X N-
niece(N,X):-parent(P,N),brother(P,X),woman(N). N- X - N - X N-
|
|
nephew(N,X):-parent(P,N),sister(P,X),man(N). N- - N - N-
nephew(N,X):-parent(P,N),brother(P,X),man(N). N- - N - N-
aunt(A,X):-niece(X,A),woman(A).
aunt(A,X):-nephew(X,A),woman(A).
uncle(U,X):-niece(X,U),man(U).
uncle(U,X):-nephew(X,U),man(U).
grandmother(G,X):-woman(G),parent(P,X),parent(G,P).
grandfather(G,X):-man(G),parent(P,X),parent(G,P).
granddaughter(G,X):-woman(G),parent(P,G),parent(X,P).
grandson(G,X):-man(G),parent(P,G),parent(X,P).
cousine(C,X):-woman(C),aunt(A,X),mother(A,C).
cousine(C,X):-woman(C),uncle(U,X),father(U,C).
cousin(C,X):-man(C),aunt(A,X),mother(A,C).
cousin(C,X):-man(C),uncle(U,X),father(U,C).
2.