[Prolog] 사실(fact)

#Prolog

fact란 말 그대로 어떠한 사실들을 정의하는 기능이다.

A(B).
와 같이 정의하면, "B는 A다."라는 사실이 된다.

?- A(B).
와 같은 문장은, "B는 A니?"라는 질문이 된다. 판정 결과로 true와 false를 반환한다..

예시를 한번 보자.
이 코드는 오류 하나 없이 정상적으로 동작한다.

사실 저 각각의 ?- 질의는 true를 반환하는데, 내 에디터가 모자라서 안보이는 것이다. 제대로 된 인터프리터를 쓴다면 잘 보일것이다..

이렇게 말이다.
없는걸 물어보면 저렇게 false를 반환한다.

프롤로그는 논리형이라, 거의 모든 것을 참과 거짓으로 표현한다.

콘솔에 출력하곤 할때 쓰는 write도 사실 특수하게 정의된 fact 중 하나다.