like("Misha", "Guitar").
like("Misha", "Harp").
like("Roma", "Football").
like("Tanya", "Ski").

sport("Football").
sport("Ski").
instrum("Harp").
instrum("Guitar").

sportsman(Who) :- like(Who, Sport) , sport(Sport).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

book("Pushkin", "Push1", "DDoS", 1992).
book("Pushkin", "Push2", "Eksmo", 2010).
book("Pushkin", "Push3", "DDoS", 2005).
book("Gogol", "Gog1", "DDoS", 2017).
book("Gogol", "Gog2", "Eksmo", 1988).
book("Afanaseva", "Fan1", "Eksmo", 2015).

%book(A, B, C, D).
%book("Pushkin", A, B, C) ; book("Gogol", A, B, C).
%book(A, B, "Eksmo", Year) , Year >= 2010.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

country("Russia", "Moscow", 143, "Europe").
country("Finland", "Helsinki", 70, "Europe").
country("China", "Pekin", 100500, "Asia").
country("Turkey", "Ankara", 20, "Asia").

%country(A, B, C, D).
%country(A, B, C, D) , C > 80.
%country(A, B, C, "Europe") , C < 80.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

contact("Vasya", 123456).
contact("Petya", 994401).
contact("Natasha", 561127).
contact("Semen", 761474).

%contact(X, Y).
%contact(X, 123456).
%contact("Petya", X).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

play("Katya", "Tennis").
play("Viktor", "Badminton").
play("Andrey", "Badminton").
play("Oleg", "Badminton").
play("Olga", "Tennis").
play("Katya", "Chess").

grade("Katya", 8).
grade("Viktor", 7).
grade("Andrey", 11).
grade("Oleg", 7).
grade("Olga", 11).
grade("Katya", 9).

%grade(X, 11) , play(X, Y).
%play(X, "Badminton") , grade(X, Y) , Y \== 7.
%play(X, "Badminton") , play(Y, "Badminton") , grade(X, A) , grade(Y, B) , A < B.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%