prolog

0зной

1ответ

Visual Prolog ошибка C502: выражение не дает значение

Я пытаюсь перевести простую задачу Turbo Prolog на Visual Prolog 7.1 оригинальный Turbo Prolog код заключается в следующем. DOMAINS s=string sl=s* sll=sl* PREDICATES select(sl,s,sl

1зной

1ответ

swi proog standalone исполняемый файл для mac не работает как ожидалось

Я пытаюсь создать пролог в одиночном исполнении, выполнив минималистский пример, показанный на http://www.swi-prolog.org/FAQ/UnixExe.html. Все, кажется, работает хорошо, но если я пытаюсь выполнить на

1зной

2ответ

Элементы списка элементов пролога в четных позициях

Я застрял в этой точке. Невозможно узнать, как суммировать элементы на четных позициях. domains slist=integer* pos,sum=integer predicates even(pos). even_summ(slist,pos,sum). clauses even(X):-

1зной

2ответ

Функция члена журнала Prolog должна работать, но это не

Я пытаюсь проверить, является ли строка рабочим вызовом, который может быть выполнен. Для этого я разбираю строку, получаю первое слово, и если она соответствует базе данных с предопределенными функци

0зной

3ответ

Prolog: как написать помощника, который преобразует результат в список?

Давайте предположим, что у меня есть что-то вроде: % person(ID, Name, Age) person(_, paul, Age). person(_, Name, 20). ... ... и вместо типичного связыванию я хотел бы иметь вспомогательную функци

1зной

2ответ

Понимания Пролога «добавить» рекурсивное определение

Я читаю Programming in Prolog: Using the ISO Standard, но у меня возникает проблемы понимания рекурсивного определения append введенных книги: append([], List, List). append([X|List1], List2, [X|Resu

0зной

1ответ

Удалить первый факт, который выполняет условие в Prolog

Я хочу удалить первый факт, который выполняет мое условие в Prolog. Я попытался удалить один и только один из пяти фактов, что его число не соответствует моей цели. Моя цель здесь, чтобы держать карты

0зной

1ответ

Почему предикат/2 объединяет переменную с нулем?

Я пытаюсь понять, почему этот фрагмент кода действительно работает хорошо. Я ничего не понимаю о том, что происходит там, как Counter1 объединяется с 0, а затем объединяется с 1 и т. Д. Переменная сче