Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ?- kif_to_boxlog( all(x,((musiclover(x) & enjoy(x,'Bach')) => ( (dislike(x,'Wagner') & all(y,exists(z, dislike(y,z)) => think_philistine(x,y)))))),O).
- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- % cnf :-
- % (~musiclover('?X')v~enjoy('?X', 'Bach')v dislike('?X', 'Wagner'))& (~musiclover('?X')v~enjoy('?X', 'Bach')v (~dislike('?Y', '?Z')v think_philistine('?X', '?Y'))).
- % boxlog :-
- %
- % [ (~musiclover('?X'):-enjoy('?X', 'Bach'), ~dislike('?X', 'Wagner')),
- % (~musiclover('?X'):-enjoy('?X', 'Bach'), dislike('?Y', '?Z'), ~think_philistine('?X', '?Y')),
- % (~dislike('?Y', '?Z'):-musiclover('?X'), enjoy('?X', 'Bach'), ~think_philistine('?X', '?Y')),
- % (~enjoy('?X', 'Bach'):-musiclover('?X'), ~dislike('?X', 'Wagner')),
- % (~enjoy('?X', 'Bach'):-musiclover('?X'), dislike('?Y', '?Z'), ~think_philistine('?X', '?Y')),
- % (dislike('?X', 'Wagner'):-musiclover('?X'), enjoy('?X', 'Bach')),
- % (think_philistine('?X', '?Y'):-musiclover('?X'), enjoy('?X', 'Bach'), dislike('?Y', '?Z'))
- % ].
- % preview :-
- %
- % [ (enjoy('?X', 'Bach'), ~dislike('?X', 'Wagner'), {is_unit('?X')}==> ~musiclover('?X')),
- % (enjoy('?X', 'Bach'), dislike('?Y', '?Z'), ~think_philistine('?X', '?Y'), {is_unit('?X')}-> ~musiclover('?X')),
- % (musiclover('?X'), enjoy('?X', 'Bach'), ~think_philistine('?X', '?Y'), {is_unit('?Y')}-> ~dislike('?Y', '?Z')),
- % (musiclover('?X'), ~dislike('?X', 'Wagner'), {is_unit('?X')}==> ~enjoy('?X', 'Bach')),
- % (musiclover('?X'), dislike('?Y', '?Z'), ~think_philistine('?X', '?Y'), {is_unit('?X')}-> ~enjoy('?X', 'Bach')),
- % (musiclover('?X'), enjoy('?X', 'Bach'), {is_unit('?X')}==>dislike('?X', 'Wagner')),
- % (musiclover('?X'), enjoy('?X', 'Bach'), dislike('?Y', '?Z'), {is_unit('?Y', '?X')}==>think_philistine('?X', '?Y'))
- % ].
- O = [(~musiclover(_G2063872):-enjoy(_G2063872, 'Bach'), ~dislike(_G2063872, 'Wagner')), (~musiclover(_G2063893):-enjoy(_G2063893, 'Bach'), dislike(_G2063904, _G2063905), ~think_philistine(_G2063893, _G2063904)), (~dislike(_G2063920, _G2063921):-musiclover(_G2063926), enjoy(_G2063926, 'Bach'), ~think_philistine(_G2063926, _G2063920)), (~enjoy(_G2063947, 'Bach'):-musiclover(_G2063947), ~dislike(_G2063947, 'Wagner')), (~enjoy(_G2063968, 'Bach'):-musiclover(_G2063968), dislike(_G2063979, _G2063980), ~think_philistine(..., ...)), (dislike(_G2063993, 'Wagner'):-musiclover(_G2063993), enjoy(_G2063993, 'Bach')), (think_philistine(_G2064010, _G2064011):-musiclover(...), ..., ...)],
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
