Programy według yap.sf.net

Yap Prolog System to kompilator Prolog zgodny z ISO o wysokiej wydajności. Yap jest powszechnie uważany za jeden z najszybszych dostępnych systemów Prolog. Yap obsługuje coroutining, CLP(QR), CHR i głębi związane wyszukiwania