[%] Butterfly가 특별한 이유

[기괴공학도(mecheng98)]

Prolog와의 차이점: 자료형이 있다.
Z3와의 차이점: 귀납법을 다룰 수 있다.
Coq와의 차이점: 증명을 유도한다.

- 희망의 등불

[기괴공학도(mecheng98)]

자료형이 있고 규칙성 있는 해의 규칙을 구할 수 있는 Prolog를 생각해 보세요. - 훈다리 훈다리

[기괴공학도(mecheng98)]

예를 들어 "짝수인 a를 찾아라" 하면 "a → 'ss' a | 'z'."라고 답함. 여기서 s는 다음 수 함수, z는 0. - 훈다리 훈다리