Programas por yap.sf.net

Yap Prolog System es un compilador Prolog de alto rendimiento compatible con ISO. Yap es ampliamente considerado uno de los sistemas Prolog más rápidos disponibles. Yap admite la búsqueda de coroutining, CLP(QR), CHR y de enl