PL wiki

λProlog

  • 프로그래밍 언어
  • 논리형 프로그래밍 언어

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