Fejlett következtetési módszerek v2 - Egyetem - Prolog

vezeteknev(egressy).
vezeteknev(fenyvesi).
vezeteknev(gallyas).
vezeteknev(jeney).
vezeteknev(vadkerti).

keresztnev(edina).
keresztnev(frida).
keresztnev(gabriella).
keresztnev(józsef).
keresztnev(vince).

egyetem(budapest).
egyetem(debrecen).
egyetem(miskolc).
egyetem(pécs).
egyetem(szeged).

szak(biológia).
szak(informatika).
szak(jog).
szak(kémia).
szak(magyar).



% Render the houses term as a table.
:- use_rendering(table,
         [header(h('Vezeteknev', 'Keresztnev', 'Egyetem', 'Szak'))]).

/*   1) A fenyvesi vezetéknevű lány jogot tanul, de nem Debrecenben
     2) József (nem ő Gallyas) az egyik fővárosi egyetemen tanul, de nem biológiát
     3) Vadkerti Gabriella nem a szegedi kémiaszakos hallgató
     4) Jeney (ő Pécsett tanul) keresztneve nem Vince
     5) Frida magyartanár szeretne lenni
     6) Edina vezetékneve vagy Egressy, vagy Miskolcon tanul
     7) Az informatikusnak készülő egyetemista nemrég nősült  */

hallgatok(H) :-
    % h(vezetéknév, keresztnév, egyetem, szak)
    length(H, 5),                                                                                                                       % 0
    member(h(fenyvesi,K,E,jog), H), keresztnev(K), egyetem(E), K \= vince, K \= józsef, E \= debrecen,                                 % 1
    member(h(V,józsef,budapest,S), H), vezeteknev(V), szak(S), V \= gallyas, S \= biológia,                                           % 2
    member(h(vadkerti,gabriella,E2,S2), H), egyetem(E2), szak(S2), E2 \= szeged, S2 \= kémia,                                          % 3                                                                      % 3+
    member(h(jeney,K2,pécs,_), H), keresztnev(K2), K2 \= vince,                                                                        % 4
    member(h(_,frida,_,magyar), H),                                                                                                     % 5
    member(h(V2, edina, E3, _), H), vezeteknev(V2), egyetem(E3), (   V2 = egressy, E3 \= miskolc ; V2 \= egressy, E3 = miskolc),        % 6
    member(h(_,K3,_,informatika),H), keresztnev(K3), (   K3 = józsef; K3 = vince).                                                     % 7

hianyzok(H):-
    member(h(gallyas,_,_,_),H),
    member(h(egressy,_,_,_),H),
    member(h(_,vince,_,_),H),
%    member(h(_,józsef,_,_),H),
    member(h(_,_,debrecen,_),H),
    member(h(_,_,miskolc,_),H),
    member(h(_,_,_,biológia),H),
    member(h(_,_,szeged, kémia), H).

sorrend(H):-
    nth0(0, H, h(gallyas,_,_,_)),
    nth0(1, H, h(jeney,_,_,_)),
    nth0(2, H, h(egressy,_,_,_)),
    nth0(3, H, h(fenyvesi,_,_,_)).

solution3(H):-
    hallgatok(H), hianyzok(H), sorrend(H).