Programas por yap.sf.net

O Yap Prolog System é um compilador Prolog de alto desempenho compatível com ISO. Yap é amplamente considerado um dos sistemas Prolog mais rápidos disponíveis. Yap suporta coroutining, CLP(QR), CHR e pesquisa em profundidade.