[%] 꿈은 이루어지긴 하나보네요

[기괴공학도(mecheng98)]

https://github.com/mecheng98/pa

∃x P(x)를 공리로 두었을 때, ∀x (P(x) → Q(x)) → ∃x Q(x)의 증명이 통과된 모습이에요.

1차 논리를 다룰 수 있는 아주 간단한 증명보조기 만들었어요.

[black7375(220.70)]

퍄 코드 보니까 진짜 하스켈스럽네요 ㅋㅋㅋ

[기괴공학도(mecheng98)]

그런가요 ㅎㅎ

[black7375(220.70)]

그나저나 프롤로그 추론엔진 아이디어가 참 좋은데 안퍼지네요. 함수형이 이제 메이져화가 되어가고 있으니 다음 차례로 가능하려나.

[black7375(220.70)]

함수형, 논리형 둘다 선언적이라 궁합 좋을것 같은데 어때요?

[기괴공학도(mecheng98)]

함수형이랑 논리형이랑 섞인 건 Mercury고 람다-프롤로그는 함수형 성분이라 해야되나? 그런 게 1% 정도 되는 것 같아요. 제 느낌은요.

[black7375(220.70)]

머큐리는 이름에서 정이 안가긴하는데 ㅋㅋㅋ 나중에 궁금하면 살펴보겠습니다.

[루비(218.147)]

역시 기괴공학도

[기괴공학도(mecheng98)]

감사합니다

[익명(106.101)]

이게 꿈임?

[기괴공학도(mecheng98)]

넹~