Интерфейс MiniZin c на другие языки

Question

Я хочу решить проблему, для которой в Prolog реализована функция оценки. Можно ли вызвать Prolog (или другой язык) из скрипта MiniZin c в случае, если функция оптимизации определена на другом языке?

Например, MiniZin c можно легко вызвать из python через пакет MiniZin c Python. Существует ли интерфейс для обратного (вызов Python из MiniZin c)?

Answer 1

В настоящее время в MiniZin c нет интерфейса внешних функций. Таким образом, в настоящее время невозможно использовать в MiniZin c.

функции другого языка, такого как Prolog *. не будет так просто. Проблема в том, что все части экземпляра MiniZin c должны быть либо разрешены компилятором, либо преобразованы в конструкцию уровня решателя. Это означает, что вычисление значений параметров, вероятно, относительно легко выполнить на другом языке: MiniZin c может просто вызвать скомпилированную версию вычисления. С другой стороны, преобразования переменных потребуют строгого API MiniZin c для их выполнения. Вы можете сравнить такой интерфейс с тем, как вы можете использовать CPython в C: это больше похоже на написание модуля MiniZin c на другом языке.