논리 프로그래밍 질문(Prolog)

Question

Write the following formula as a set of logic programming clauses: ((p ∧ (s → r)) ∨ q) ∧ (r → t) 질문인데, 현재 제가 풀이한 바로는 아래처럼입니다. r: -s.rule: - p,s; q.t: -r.final: -rule, t. 근데 이게 맞는건지.. s → r 등등을 변환한다음 풀어야하는건지 헷갈립니다ㅠㅠㅠㅠ그리고 코드만보면 &#34;rule: -p,s; q.&#34; 즉 p랑 s가 모두 참이거나 또는 p가 참인경우... 이게 맞는지도 헷갈립니다...ㅠㅠㅠㅠ도움주실수있는분 계시다면 부탁드립니당

논리 프로그래밍 질문(Prolog)

0개의 답변

#logic 목록