In the following Program:
ide_drive :- hard_drive, not scsi_drive. scsi_drive :- hard_drive, not ide_drive. scsi_controller :- scsi_drive. hard_drive.
The stable models are:
M1 = {hard_drive, ide_drive} M2 = {hard_drive, scsi_drive, scsi_controller}
An stable model tells which atoms are true.
Why M1 and M2 are stable models of the given program?