Программы yap.sf.net

Система Yap Prolog является совместимым с ISO высокую производительность компилятором Prolog. Yap считается одной из самых быстрых доступных систем Prolog. Yap поддерживает coroutining, CLP (КР), CHR и поиск с глубиной. Табли