SWI Prolog (64-bit)

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