Я читаю http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1 , но у меня возникли проблемы с запуском следующего предиката: SICStus 4.0.1 (x86-win32-nt-4): Tue May 15 21:17:49 WEST 2007 | ?- woman(mia). ! Existence error...

Я пытаюсь создать простую программу на прологе, но у меня есть проблема: :- dynamic at/2, i_am_holding/1, i_am_at/1. /* some lines of code */ i_am_at(room1). at(revolver, room1). take(revolver) :- write('You picked up the revolver.'),nl....

Можно легко обратиться к файлу Prolog, используя consult/1 или [filename]. . Предположим, я генерирую код Пролога как атом. Я могу в предикате записать этот код в файл, а затем обратиться к нему и запросить предикат из этого кода, например....

с этой базой знаний, используя https://swish.swi-prolog.org :- dynamic happy/1. go:- assert(happy(mia)), write(happy(mia)). если я запускаю go. , я получаю happy(mia) true Если у меня просто есть :- dynamic happy/1....