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