Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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,(keresztnev(K), K \= vince, K \= józsef),(egyetem(E), E \= debrecen),jog), H), % 2
- member(h((vezeteknev(V), V \= gallyas),józsef,budapest,(szak(S), S \= biológia)), H), % 2
- member(h(vadkerti,gabriella,(egyetem(E), E \= szeged),(szak(S), S \= kémia)), H), % 3
- member(h(_,_,szeged, kémia), H), % 3+
- member(h(jeney,(keresztnev(K), K \= vince),pécs,_), H), % 4
- member(h(_,frida,_,magyar), H), % 6
- (member(h(egressy,edina,_,_), H); member(h(_,edina,miskolc,_), H)), % 6
- (member(h(_,józsef,_,informatika), H); member(h(_,vince,_,informatika), H)). % 7
Add Comment
Please, Sign In to add comment