#pure-monotonic

Purity 기반 Declarative 설계를 통한 Prolog 범용성 및 신뢰성 확보

Prolog Coding Horror