Вы найдете это работает для варианта использования, который вы определили выше:

у меня есть фрагмент кода ниже, как я могу заставить его производитьAnswer= 5 and Answer2= 10?, Я бегу в цель?- test(Data),lpsolve(Data, [Answer1,Answer2]). :-use_module(library(clpfd)). test([the, variable, X, is, five,fullstop, the,variable, ...

Обратите внимание, что в то же время некоторые из этих предикатов являются частью GNU, поскольку они являются частью пролога Пролога: succ / 1, между / 3.

их реализациях Пролога отсутствуют некоторые предикаты, доступные в других. Мы можем реализовать недостающие предикаты, назовем это «Уровень совместимости Prolog». Знаете ли вы «Уровни совместимости Prolog» для Prolog (особенно для ...

Как реализовать предикат решения для этого упражнения «Пролог»?

Я изучаю Пролог, используя книгу Ивана Братко: Программирование для искусственного интеллекта, и нахожу некоторые трудности в реализации заключительной части...

Пролог - Как записать все ответы пролога в файл .txt?

man(alan). man(john). man(george). list_all:- man(X), write(X), fail. Вопрос?-list_all дает ответ: alan john george falseИтак, у меня есть все мужчины из базы данных. Оно работает! Моя проблема: я хочу получить тот же список, но экспортировать ...

Как работает связывание в абстрактной машине Уоррена, если одним из аргументов является регистр?

Я пытаюсь создать свою собственную реализацию WAM, и я застрял вупражнение 2.4Я не могу понять, как выполнить инструкцию

Зайдите в командную строку swi-prolog и введите:

GNU Emacs 23.2.1 Fedora xfce 14ал изучать Prolog и хочу использовать свой emacs в качестве IDE для программирования на Prolog. В настоящее время я использую Emacs для C / C ++. Но не уверен, как начать с Пролога. Я знаю, что в Emacs есть ...

Пролог: пункты не в исходном файле

У меня есть этот кусок кода:

Найти силы 2 в списке Пролог

Я пытаюсь создать список в Прологе (SWI Prolog) и проверить, какие числа являются степенями 2, а второй найти, сколько раз конкретное число находится в списке (в этом примере я пытаюсь найти, сколько раз число 3 в списке). Например, если вы ...

Пролог GNU - оператор Univ? Объяснение этого

Итак, унив оператор. Я не совсем понимаю это.Например это:

stackoverflow.com/questions/47233986/...