λProlog

λProlog는 고차 논리형 프로그래밍 언어이다.