Так что для повторной итерации Cyc написан на языке под названием SubL и формальной логике с именем CycL. Для запуска на реальном компьютере эти языки переписываются/компилируются в систему времени выполнения Java. Cycorp не вызвался, если это исходный код для преобразования исходного кода или что SubL и CycL преобразуются в коды операций JVM (Java Virtual Machine).
Каждый раз, когда у вас есть Java-код, вы можете преобразовать его в коды операций JVM. Эти коды операций JVM обычно хранятся в файлах с расширением «.class» вместо сохранения в качестве исходного кода Java в файлах с расширением «.java»
Так как для файлов классов обычно нужны другие файлы классов, чтобы работать лучше, они много раз хранится в zip-файлах с определенной структурой каталогов. Много раз эти zip-файлы обрабатываются так, как если бы они не были сжаты в один файл. Для этого вы переименовываете zip-файлы с расширением «.jar» (поскольку они являются Java ARchives) или расширением «.war» (для Web ARchive)
Поскольку у всех программ есть проблемы, работайте так, как они предназначены, на большинстве языков есть среды отладки, которые помогают вам контролировать различные части и определять, как они работают, и как заставить их делать то, что они должны делать.
Видимо, кто-то задал подобный вопрос Best way to debug Java web application packaged as a WAR using Eclipse and Maven?
Что не ясно, является ли этот метод будет работать с WAR файлов, которые доступны для вас. Поскольку вы являетесь лицензиатом ResearchCyc, я ожидаю, что вам придется попробовать это самостоятельно и рассказать нам, помогут ли эти инструменты в том, что вам нужно.
Если мы еще не подписали соглашение с Cycorp, мы не сможем проверить их для вас, и вы не сможете сделать их доступными для сторонних лиц (неисторических исследователей) , чтобы они попробовали.