Programmi di yap.sf.net

Yap Prolog System è un compilatore Prolog ad alte prestazioni compatibile con ISO. Yap è ampiamente considerato uno dei sistemi Prolog più veloci disponibili. Yap supporta coroutining, CLP(QR), CHR e ricerca con associazione