SECOND LAB, Prolog

SECOND LAB

Language: Layout:

% zadanie1
hobby(дима, coding).
hobby(леонид, легкая атлетика).
hobby(илья, бокс).
hobby(алексей, чтение).
hobby(дима, смотреть фильмы).
hobby(илья, повар).

% zadanie 2
favorite(андрей,russian).
favorite(леонид,reading).
favorite(илья,math).
favorite(павел,physics).
favorite(владимир,biology).
favorite(илья,astronomy).
favorite(илья,physics).

test1(X) :- favorite(X,astronomy), favorite(X,physics), favorite(X, math).
test2(X) :- favorite(X,reading), favorite(X,russian).

% zadanie 3
female(мать).
female(елена).
female(наташа).
female(ольга).
female(мария).
female(ира).
female(нина).
female(алевтина).
female(валентина).

male(отец).
male(максим).
male(дима).
male(влад).
male(вова).
male(александр).
male(сергей).
male(илья).
male(миша).
male(иван).

parent(мать,елена).
parent(мать,наташа).
parent(отец,елена).
parent(отец,наташа).
parent(елена,мария).
parent(елена,влад).
parent(максим,мария).
parent(максим,влад).
parent(наташа,ольга).
parent(наташа,вова).
parent(дима,ольга).
parent(дима,вова).
parent(ольга,ира).
parent(ольга,миша).
parent(александр,ира).
parent(александр,миша).
parent(мария,нина).
parent(мария,сергей).
parent(иван,нина).
parent(иван,сергей).
parent(валентина,алевтина).
parent(валентина,илья).
parent(сергей,алевтина).
parent(сергей,илья).

mother(X,Y) :- parent(X,Y), female(X).
father(X,Y) :- parent(X,Y), male(X).
brother(X,Y) :- parent(Z,X), parent(Z,Y), male(X).
sister(X,Y) :- parent(Z,X), parent(Z,Y), female(X).
grandM(X,Y) :- (parent(X,Z); parent(X,Z2)), (parent(Z,Y); parent(Z2,Y)), female(X).
grandP(X,Y) :- (parent(X,Z); parent(X,Z2)), (parent(Z,Y); parent(Z2,Y)), male(X).
tetya(X,Y) :- (parent(Z, Y); parent(Z2, Y)), (sister(X,Z); sister(X,Z2)).
dydya(X,Y) :- (parent(Z, Y); parent(Z2, Y)), (brother(X,Z); brother(X,Z2)).
son(X,Y) :- (parent(Y,X), male(X)).
daughter(X,Y) :- (parent(Y,X), female(X)).

[ + ] Show input
Absolute running time: 0.36 sec, cpu time: 0.21 sec, memory peak: 7 Mb, absolute service time: 0,44 sec

latest | history

ERROR: 854970821/source.prolog:3:33: Syntax error: Operator expected
ERROR: 854970821/source.prolog:6:33: Syntax error: Operator expected
Warning: 854970821/source.prolog:79:
	Clauses of mother/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:68
	  Current predicate: daughter/2
	  Use :- discontiguous mother/2. to suppress this message
Warning: 854970821/source.prolog:80:
	Clauses of father/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:69
	  Current predicate: mother/2
	  Use :- discontiguous father/2. to suppress this message
Warning: 854970821/source.prolog:81:
	Clauses of brother/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:70
	  Current predicate: father/2
	  Use :- discontiguous brother/2. to suppress this message
Warning: 854970821/source.prolog:82:
	Clauses of sister/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:71
	  Current predicate: brother/2
	  Use :- discontiguous sister/2. to suppress this message
Warning: 854970821/source.prolog:83:
	Clauses of grandM/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:72
	  Current predicate: sister/2
	  Use :- discontiguous grandM/2. to suppress this message
Warning: 854970821/source.prolog:84:
	Clauses of grandP/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:73
	  Current predicate: grandM/2
	  Use :- discontiguous grandP/2. to suppress this message
Warning: 854970821/source.prolog:85:
	Clauses of tetya/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:74
	  Current predicate: grandP/2
	  Use :- discontiguous tetya/2. to suppress this message
Warning: 854970821/source.prolog:86:
	Clauses of dydya/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:75
	  Current predicate: tetya/2
	  Use :- discontiguous dydya/2. to suppress this message
Warning: 854970821/source.prolog:87:
	Clauses of son/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:76
	  Current predicate: dydya/2
	  Use :- discontiguous son/2. to suppress this message
Warning: 854970821/source.prolog:88:
	Clauses of daughter/2 are not together in the source-file
	  Earlier definition at 854970821/source.prolog:77
	  Current predicate: son/2
	  Use :- discontiguous daughter/2. to suppress this message
ERROR: Undefined procedure: (:-)/2
ERROR:   Rules must be loaded from a file
ERROR:   See FAQ at http://www.swi-prolog.org/FAQ/ToplevelMode.txt
ERROR: In:
ERROR:    [9] throw(error(existence_error(procedure,...),_2340))
ERROR:    [8] '$dwim':dwim_existence_error(error,user:(:-)/2) at /usr/lib/swi-prolog/boot/dwim.pl:113
ERROR:    [6] '$dwim':correct_goal((mother(_2436,_2438):- ...,...),user,['X'=_2456,...],_2426) at /usr/lib/swi-prolog/boot/dwim.pl:85
ERROR: 
ERROR: Note: some frames are missing due to last-call optimization.
ERROR: Re-run your program in debug mode (:- debug.) to get more detail.

λ

                                      .NET NoSQL database for rapid development