Пролог - программы.

domains

  name=symbol

predicates

  man(name)
  woman(name)
  parent(name,name)
  husband(name,name)
  c_brother(name,name)
  c_sister(name,name)
  husban(name,name)
  wife(name,name)
 
clauses

  man(alex).
  man(alexandr).
  man(sergey).
  man(petr).
  man(kostya).
  man(mihail).
  man(dmitriy).
  man(valera).
  man(nikolay).
 
  woman(barbara).
  woman(liza).
  woman(lyuda).
  woman(katya).
  woman(anna).
  woman(juli).
  woman(raisa).
  woman(tatiana).
 
  parent(barbara,liza).
  parent(anna,katya).
  parent(anna,petr).
  parent(sergey,katya).
  parent(sergey,petr).
  parent(tatiana,mihail).
  parent(dmitriy,mihail).
  parent(valera,nikolay).
  parent(nikolay,raisa).
  parent(raisa,kostya).
  parent(liza,alex).
  parent(alex,kostya).
  parent(katya,juli).
  parent(juli,lyuda).
  parent(petr,alex).
  parent(petr,alexandr).
  parent(alexandr,lyuda).
  parent(mihail,juli).
 
  husband(sergey,anna).
  husband(dmitriy,tatiana).
  husband(mihail,katya).
  husband(petr,liza).
  husband(alexandr,juli).
  husband(alex,raisa).
 
  c_brother(X,Y):-parent(P,C1),parent(P,C2),
                  parent(C1,X),parent(C2,Y),
                  C1<>C2,man(X).
  c_sister(X,Y):-parent(P,C1),parent(P,C2),
                 parent(C1,X),parent(C2,Y),
                 C1<>C2,woman(X),man(P).
  husban(X,Y):-husband(X,Y),man(X).
  wife(X,Y):-husband(Y,X),woman(X).
 
goal

%c_brother(X,Y).
% c_sister(X,Y).
husban(X,Y).
%wife(X,Y).

predicates
         country(symbol)
         print_countries

clauses
         country(england).
         country(france).
         country(germany).
         country(denmark).

         print_countries :-
        country(X),
        write(X),          
        nl,          
        fail.

goal     
     print_countries.

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).