Programma's van yap.sf.net

Het Yap Prolog-systeem is een ISO-compatibele prolog-compiler met hoge prestaties. Yap wordt algemeen beschouwd als een van de snelst beschikbare Prolog-systemen. Yap ondersteunt coroutining, CLP(QR), CHR en dieptegebonden zo