То, что я пытаюсь сделать, это создать копию экземпляра Prolog и загрузить эту копию с помощью JPL (интерфейса Java-Prolog). Я могу придумать несколько возможных способов сделать это, но ни один из ни
Сначала я загрузить файл с SWI-Prolog $ swipl file.pl
я изменить файл и сохранить. Теперь, как я перезагрузить файл как ?- reload
для этого модифицированного file.pl?
Во-первых, когда я читал о других предикатах на Prolog, например, http_server, это написано вот так: http_server(:Goal, +Options) что делает : и + здесь? Иногда также написано ?. Во-вторых, иногда я в
Фон: Я не очень-то знаю про пролог, но я играл с концепцией планировщика STRIPS (мир блоков), который работает сам по себе при запросе план непосредственно в терминале SWI-PL. Я пытаюсь создать веб-ин
Это вопрос о структуре карты, которая сохраняет память при тяжелых неразрушающих манипуляциях. Контекст Я пишу небольшую программу, в результате чего я произвожу «состояния» (которые только термины, с