YAP (Prolog)
![]() | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Май 2012 г. ) |
Стабильная версия | 6.3.3 / 21 января 2013 г |
---|---|
Предварительный выпуск | 7.1 / 9 января 2016 г |
Операционная система | Linux , Windows , Солярис , Mac OS X |
Платформа | Язык программирования |
Лицензия | Художественная лицензия Perl 2.0 |
Веб-сайт | www |
YAP — это с открытым исходным кодом высокопроизводительная реализация Prolog языка программирования , разработанная в LIACC/ Universidade do Porto и в COPPE Sistemas/ UFRJ . Его движок Prolog основан на WAM ( Warren Abstract Machine ) с несколькими оптимизациями для повышения производительности. YAP следует эдинбургской традиции и в значительной степени совместим со стандартом ISO-Prolog, а также с Quintus Prolog и SICStus Prolog . YAP разрабатывается с 1985 года. Первоначальная версия была написана на ассемблере, C и Prolog и достигла высокой производительности на m68k машинах на базе .