Я беру свой первый курс ИИ в этом семестре в университете, и нас попросили сделать проект по любой теме ИИ, которую мы находим интересной, и внедрить код в «Пролог». Одним из примеров является реализа
Я пытаюсь определить предикат проверки наследования is_a/2 в Прологе, но до сих пор все мои испытания не удались. is_a(X, Y) предикат должен возвращать верно, когда Y представляет собой суперкласс X.
Я пытаюсь применить упрощенный алгоритм в Prolog, но я не мастер Prolog. Мне нужно это без каких-либо ошибок, поэтому я думал, что вы, ребята, сможете помочь. Какова реализация алгоритма DPLL в Prolog
Я пишу приложение в Java, используя JPL, предоставленный SWI-Prolog для вызова Prolog с Java. Я использую Eclipse в качестве среды IDE. Я не знаю, как начать этот пример я нашел в Интернете: Здесь ява