IFI6057ex8-2

Kasuta SWI-Prologi (klassis installitud), gprologi või SWISH-i.

Ülesanne

Lahenda PROLOG-i abil:

Marcus on mees.
Marcus on Pompej elanik.
Marcus sündis aastal 40.
Kõik mehed on surelikud.
Kõik Pompej elanikud surid vulkaanipurske tagajärjel aastal 79.
Ükski surelik ei ela rohkem kui 150 aastat.
Praegu on aasta 2010. Kas Marcus on elus?

Lihtsustus: antud faktide pealt on natuke mugavam teha päringut, kas Marcus on surnud või mitte. Sellest võib juba ilma PROLOG-ita järeldada, kas ta on elus.