Write the following formula as a set of logic programming clauses: ((p ∧ (s → r)) ∨ q) ∧ (r → t)


s → r은 r:-s

r → t은 t:-r


p랑 q는 항상 참이되야한다는 조건이 있어야 성립하니까 아래가 올바른 답인가요 ㅠㅠ


r :- s. goal1 :- p, r. goal1 :- q. t :- r. final_goal :- goal1, t.