Я пытаюсь создать копию экземпляра Prolog и загрузить эту копию с помощью JPL (интерфейс Java-Prolog). Я могу придумать несколько возможных способов сделать это, но ни один из них не проработан полностью, и именно поэтому я пришел сюда.
Во-первых, я знаю, что могу сохранить копию состояния, используя qsave_program/2. Это создает исполняемый файл, который я могу запустить. Однако мне нужно запросить этот сохраненный экземпляр из Java с помощью JPL. Я пытался найти документацию для этого, но не смог найти (вероятно, не распространенная проблема). Есть ли способ запустить экземпляр, сохраненный с помощью qsave_program/2, и запросить его из JPL?
Вторая идея заключалась бы в том, чтобы запросить исходный экземпляр для всех динамически утвержденных предложений. Однако я не могу знать, что утверждалось, поэтому я не могу запрашивать эти вещи напрямую, а скорее должен собирать эти пункты, исходя из того, что они динамические. Тогда я мог бы просто запустить другой экземпляр из JPL и подтвердить эти факты, чтобы создать копию. Это возможно? И будет ли это эффективно создавать копию государства?
