politic.pl

:- discontiguous(not/1).

politician(X) :- mp(X).
politician(X) :- minister(X).

minister(X) :- prime_minister(X).

prime_minister(sri).
prime_minister(surat).

mp(prasit).

use(surat,cruel_method).

not(contrain(law,surat)).
contrain(law,prasit).

president_of_the_government(pichit, s_state).

rule(X, _) :- prime_minister(X).
rule(X, Y) :- president_of_the_government(X,Y).

not(possess(sri, absolute_power)).
possess(pichit, absolute_power).

dictator(X) :- rule(X,_),
	       possess(X, absolute_power).

tyrant(X) :- not(contrain(law,X)),
	     politician(X),
	     use(X,cruel_method), rule(X,_).