YAP

YAP (Yet Another Prolog) — высокоэффективный компилятор языка Prolog, разработанный в LIACC/Universidade do Porto и COPPE Sistemas/UFRJ. Его механизм основывается на WAM (Warren Abstract Machine) с некоторой оптимизацией для улучшения производительности. YAP является реализацией диалекта Edinburgh Prolog, но хорошо совместим со стандартом ISO Prolog.

YAP был разработан в 1985году на языках Assembler, C и Prolog. Первая реализация обладала высокой эффективностью на машинах m68k. Более поздние версии поддерживали также архитектуры VAX, SPARC и MIPS. Работа над новыми версиями YAP преследует несколько целей:

• переносимость. Теперь система реализована полностью на языке C. YAP компилируется на множестве платформ под управлением различных ОС
• высокая производительность. Был оптимизирован эмулятор, чтобы получить производительность, сопоставимую или большую чем в известных системах. Фактически, текущая версия YAP имеет лучшую производительность чем оригинальная, написанная на Assembler
• надежность: YAP был проверен на множестве известных приложений для Prolog
• расширяемость
• законченность и совместимость с ISO Prolog
• открытость

YAP 4.0 и более ранние версии распространялись под лицензией, которая допускала бесплатное использованию в академических средах. Yap 4 .1.15 и последующие версии распространяются под лицензией Artistic.