Hey I am really struggling with this Prolog task. Can someone may help me?
Write a program with properties
[ Max_Number_of_Clauses 4
, Max_Number_of_Atoms_in_Bodies 1
]
such that the following atoms
are inferred for the first time at exactly the given iteration
of the consequence operator:
( 3, [ r (c, b, a)])
( 4, [ r (a, b, b)])
( 5, [ r (c, a, c)])
Inference of other atoms is not specified.
Hints (not enforced):
some heads of clauses are
[ p (Z), r (Y, Z, Z)]
some atoms in clause bodies are
[ r (c, b, c), p (Z)]