[Prolog] 규칙(Rule)

Rule은 다른 언어들에서의 함수에 대응하는 녀석이다. 많이 다르긴 하다만...

일단 rule은 하나 이상의 fact들로 구성된다.
fact** :- fact1, fact2, ... .**
:- 왼쪽의 fact는 head라고 부른다. 새로이 생성될 fact의 이름이라 할 수 있다.
오른쪽에는 하나 이상의 fact들이 들어갈 수 있는데, 이걸 묶어서 rule이라 한다. 이렇게 여러개의 fact를 결합해서 새로운 fact를 정의하는 게 바로 rule이다.

**fact **head의 반환값은, fact들이 전부 true일 때만 true를 반환한다.

간단한 테스트를 해보겠다.
먼저 fact들과 rule을 정의한다.

is_animal_pair라는 rule은, 받아온 인자 2개가 전부 animal일 때만 true를 반환한다.
저기서 X, Y는 변수다. 변수는 대문자로 시작해야 한다...

여튼 저건 이렇게 사용할 수 있다.
?-로 질의 날리는 아랫부분만 보면 된다.

desk는 animal이 아니므로 false를 뱉는다.

이걸 이용해서 미분적분도 구현하고 별짓을 다하던데... 도대체 어떻게 응용해야할지 감도 안잡힌다.

참조
https://ko.m.wikipedia.org/wiki/%ED%94%84%EB%A1%A4%EB%A1%9C%EA%B7%B8_(%ED%94%84%EB%A1%9C%EA%B7%B8%EB%9E%98%EB%B0%8D_%EC%96%B8%EC%96%B4)
https://m.blog.naver.com/PostView.nhn?blogId=jaeyoon_95&logNo=221314856884&categoryNo=56&proxyReferer=https%3A%2F%2Fwww.google.com%2F