Query:
?- intraocularLens.
Answer:
Model:
{ intraocularLens, correctiveLens, shortSighted, not laserSurgery, tightOnMoney, student, not glasses, caresPracticality, likesSports, not contactLens, afraidToTouchEyes }
Justification:
Expand All
+1
-1
Collapse All
intraocularLens :-
correctiveLens :-
shortSighted,
not laserSurgery :-
not o_laserSurgery_1 :-
proved(shortSighted),
tightOnMoney :-
student,
not richParents.
not glasses :-
not o_glasses_1 :-
proved(correctiveLens),
caresPracticality :-
likesSports.
not contactLens :-
not o_contactLens_1 :-
proved(correctiveLens),
afraidToTouchEyes.
global_constraint.