백작 언어 만들기는 얼마나 어려울지...

λProlog + CHR(constraint handling rule)을 성공한

Enrico Tassi를 뛰어넘어 보이겠다...