Существуют ли парсеры, написанные на прологе для TSPLIB или предлагаемого формата удовлетворенности ?
(вторая ссылка на файл PostScript)
Вы можете рассмотреть возможность использования TSPLIB с существующими инструментами C / C ++, а затем использовать библиотеку SWI-Prolog C (http://www.swi -prolog.org / pldoc / package / clib.html) для вызова этих инструментов из Prolog.