Programmes par yap.sf.net

Le système Yap Prolog est un compilateur Prolog haute performance compatible ISO. Yap est largement considéré comme l’un des systèmes Prolog les plus rapides disponibles. Yap prend en charge le coroutinage, le CLP (QR), le CH