Atur cara mengikut yap.sf.net

Sistem Yap Prolog adalah seorang ahli prolog berserasi tinggi berserasi ISO. Yap dianggap secara meluas salah satu sistem Prolog yang paling cepat didapati. Yap menyokong coroutining, CLP (QR), CHR, dan carian kedalaman terik