c(ASP) Justification

Query:

?- intraocularLens.

Answer:

Model:

{ intraocularLens, correctiveLens, shortSighted, not laserSurgery, tightOnMoney, student, not glasses, caresPracticality, likesSports, not contactLens, afraidToTouchEyes }

Justification:

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.

Query:

Answer:

Model:

Justification: Expand All+1-1Collapse All

Justification: