У меня нет удобного кода, так как я сейчас на работе, но я пытаюсь использовать этот код судоку в Java: http://www.swi -prolog.org / pldoc / man? Section = clpfd-sudoku .
У меня есть int [][] для моего запроса судоку на Java.
Если я использую сборку в утилите jpl "intarrayarraytoterm", я все еще получаю ошибку пролога при запросе "sudoku".