SWI Prolog (64-bit) Технические характеристики
|
Разработка и реализация логических программ и приложений .
FromSWI-Пролог: SWI-Пролог предлагает комплексную среду свободного программного обеспечения на Прологе, которая включает быструю компиляцию, надежную и свободную от утечек памяти, неограниченное целое и рациональное число арифметических на основе библиотеки GMP, а также гибкий и быстрый интерфейс к C- и C ++ - Язык. Он поставляется с интерфейсом библиотеки для Java (JPL), ODBC, TCP / IP сокетов, SSL и CGI обработки формы и имеет полный набор встроенных предикатов, охватывающих части 1 стандарта ISO, стандартом де-факто Эдинбург Пролог и важные части Квинт и SICStus Пролога .
Скачать (10.53MB)