SWI Prolog (64-bit)

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