Program menurut yap.sf.net

Sistem Prolog Yap adalah compiler Prolog berkinerja tinggi yang kompatibel dengan ISO. Yap secara luas dianggap sebagai salah satu sistem Prolog tercepat yang tersedia. Yap mendukung coroutining, CLP(QR), CHR, dan pencarian y