Итак, в основном я хочу вызвать некоторый код C из Prolog, и вот код: Пролог: :-foreign(fun1(+integer,-integer)). :-foreign(fun2(+integer,-integer)). % p = b; testfuna(Var, Val) :- fun1(Val, Var). % p = &b; testfunb(Var, Val) :- fun2(Val,...

Я пытаюсь импортировать модуль library(readutil) , чтобы прочитать строку из моего файла. Однако, когда я пытаюсь сделать следующее: :- use_module(library(readutil)). read_from_file(File) :- open(File,read,Stream),...

Есть ли актуальные тесты реализации Prolog (с результатами)? Я нашел это на mercury веб-сайта. Удивительно, но здесь показан 20-кратный разрыв между swi -пролог и Водолей. Я подозреваю, что эти результаты довольно старые. Сохраняется ли...

Я пытаюсь запустить пример программы GNU Prolog, используемой в качестве примера во время моей курсовой работы. Код взят непосредственно с https://www.cpp.edu/%7Ejrfisher/www/prolog_tutorial/2_17pl.txt , и однажды мой профессор показал, как он...