0
ответов
SWI-Prolog - показать длинный список
Я использую SWI-Prolog и пытаюсь распечатать список, но если в списке больше 9 элементов - это выглядит так - [1, 15, 8 , 22, 5, 19, 12, 25, 3 | ...] есть ли способ показать весь список?
вопрос задан: 1 November 2014 13:43
0
ответов
Как найти в Python сумму всех кратных 3 или 5 ниже 1000?
Не уверен, что мне следовало размещать это на вместо этого math.stackexchange, но он включает больше программирования, поэтому я разместил его здесь. Вопрос кажется очень простым, но я просидел здесь по крайней мере один час ...
вопрос задан: 21 October 2014 18:48
0
ответов
Доступное для поиска описание языка Пролог в Интернете [закрыто]
Есть ли описание языка Пролог (синтаксис и семантика) в Интернете? Существует множество справочников по реализациям. Но ни то, ни другое не является описанием языка. Для...
вопрос задан: 17 October 2014 17:10
0
ответов
Prolog GNU - оператор Univ? Объяснение этого
Итак, оператор univ. Я не совсем понимаю. Например, такой: foo (PredList, [H | _]): - bar (PredList, H).
foo (PredList, [_ | T]): - foo (PredList, T),!. bar ([H | _], Item): - G = .. [H, Item], G.
bar ([_ | ...
вопрос задан: 5 July 2014 20:41
0
ответов
gnu Prolog powerset модификация
Итак, я получил это для powerset: powerset ( [], []).
powerset ([H | T], P): - powerset (T, P).
powerset ([H | T], [H | P]): - powerset (T, P). Это генерирует все наборы списка. Можно ли сгенерировать все наборы в ...
вопрос задан: 22 June 2014 20:49
0
ответов
Пролог - Функтор палиндрома
Я пытаюсь написать предикат палиндром / 1 в Прологе, который будет истинным тогда и только тогда, когда его входной список состоит из палиндромного списка. например:? - палиндром ([1,2,3,4,5,4,3,2,1]). правда. Любое ...
вопрос задан: 21 June 2014 17:21
0
ответов
NP-полный рюкзак
Я видел это решение ECLiPSe для проблемы, упомянутой в этом комиксе XKCD. Я попытался преобразовать это в чистый Пролог. go: - Всего = 1505, Цены = [215, 275, 335, 355, 420, 580], длина (Цены, ...
вопрос задан: 14 June 2014 10:24
0
ответов
Как использовать Prolog из Java?
В контексте приложения Java / Eclipse я хотел бы использовать Prolog для конкретной задачи. Какие есть доступные решения и инструменты для этого, и связанные с ними плюсы и минусы? Я могу запустить ...
вопрос задан: 14 June 2014 10:19
0
ответов
Неразрывное предикатное предупреждение от GNU Prolog
для жаворотки я начал изучать пролог через http://www.learnprolognow.org/. Мое оправдание в том, что я только начал только. Я не уверен, как следует написать следующее (простое?) Упражнение на работу ...
вопрос задан: 12 June 2014 21:16
0
ответов
Предикат Пролога - бесконечный цикл
Мне нужно создать предикат Пролога для степени двойки с натуральными числами.
Натуральные числа: 0, s(0), s(s(0)) и т. д. Например: ?- pow2(s(0),P).
Р = с (с (0));
ложный.
?- pow2(P,s(s(0))).
...
вопрос задан: 1 June 2014 23:35
0
ответов
Более быстрое внедрение словесной арифметики в Прологе
Я уже сделал рабочий обобщенным вербальный арифметическим решатель в Прологе, но это слишком медленно. Он занимает 8 минут, чтобы просто запустить простое выражение S E N D + M O R E = M O N E Y. Может кто-нибудь помочь мне ...
вопрос задан: 27 May 2014 11:18
0
ответов
Что такое логическое «не» в Прологе?
Проблема, с которой я столкнулся, несколько тривиальна.
Я хочу использовать логическое не в Прологе, но, похоже, not / 1 - это не то, что я хочу: конечно (ai).
конечно (пл).
конечно (os). have (X, Y): - course (X), ...
вопрос задан: 1 April 2014 14:17
0
ответов
Каковы плюсы и минусы использования ручной итерации по списку по сравнению с рекурсией через отказ
Я постоянно сталкиваюсь с этим, и я никогда не уверен, каким образом атаковать это. Ниже приведены два метода обработки некоторых фактов сезона. Я пытаюсь решить, использовать ли метод 1 или 2, ...
вопрос задан: 10 March 2014 03:33
0
ответов
Проблемы с Maven: плагин maven-clean не найден в репозитории
Вздох. Использование maven 2.2.1, и внезапно он не может разрешить maven-clean-plugin. И действительно, насколько безумно, что инструмент сборки требует наличия плагина для «очистки»? Я попытался синхронизировать свой каталог .m2 из ...
вопрос задан: 4 March 2014 22:53
0
ответов
Сопоставление с образцом — Prolog vs. Haskell
Это не домашнее задание, а экзамен. вопрос по учебному пособию. В чем разница между сопоставлением с образцом в Prolog и Haskell? Я провел некоторое исследование и прочитал теории...
вопрос задан: 10 February 2014 20:09
0
ответов
Есть ли программа, которая может рисовать дерево поиска для запросов на Прологе?
Мне интересно, существует ли инструмент, который может рисовать пошаговое дерево поиска для программы на Прологе? Спасибо.
вопрос задан: 3 February 2014 19:45
0
ответов
Основные вопросы по прологу
Во-первых, что вы порекомендуете в качестве книги для изучения пролога. Во-вторых, есть ли простой способ загрузить сразу несколько файлов .pl? Сейчас просто выполняю по одному с ['name.pl'], но это раздражает ...
вопрос задан: 3 February 2014 15:59
0
ответов
Зачем разделять определение и инициализацию переменных в C ++?
В настоящее время я работаю над довольно старым кодом C ++ и часто нахожу такие вещи, как int i;
я = 42; или Object * someObject = NULL;
someObject = новый объект (); или даже Object someObject;
someObject = ...
вопрос задан: 3 February 2014 14:00
0
ответов
Проверка типа пролога
Есть ли способ определить тип элемента в списке на Прологе? Я знаю, что переменные не вводятся явно в Прологе, но мне нужно проверить, является ли элемент числом, конкретным ...
вопрос задан: 3 February 2014 00:12
0
ответов
Определение типа пролога в swi-prolog
в визуальном прологе есть раздел «домены» в программе пролога, в котором вы можете определять типы. Есть ли подобное в swi-prolog? В визуальном прологе тип определяется как: домены
NewType = ...
вопрос задан: 3 February 2014 00:12
0
ответов
как разбить предложение в swi-prolog
Пробую SWI-Prolog в win xp. Я пытаюсь понять, как разбить предложение в Прологе на отдельные атомы. Пример: скажем, у меня есть такое предложение: «это строка».
Есть ...
вопрос задан: 3 February 2014 00:11
0
ответов
Странный оператор (!) В Prolog
hi (g, plus (A, B), int): - hi (g, A, int), hi (g, B, int),!. в приведенном выше заявлении что означает символ "!" знак в конце утверждения делать?
вопрос задан: 2 February 2014 23:56
0
ответов
Как применить универсальный квантор в Прологе?
Предположим, у вас есть программа на Прологе для диагностики заболеваний, которая начинается с множества взаимосвязей между болезнями и симптомами: cause_of (симптом1, Заболевание): - Заболевание = заболевание1; Болезнь = болезнь 2.
...
вопрос задан: 2 February 2014 23:38
0
ответов
Тестирование списков различий прологов
Я читал о том, насколько велики списки различий, и надеялся проверить несколько примеров из книг. Но кажется, что вы не можете передавать списки в качестве входных данных точно так же, как, например ...
вопрос задан: 2 February 2014 23:35
0
ответов
Как написать «a подразумевает b или c» в Прологе
Как мне написать следующее в Прологе? a -> b V c На английском языке это будет a означает, что b или c (или оба)
вопрос задан: 2 February 2014 23:34
0
ответов
Насколько Concurrent является Prolog?
Я не могу найти никакой информации об этом в Интернете ... Я тоже новичок в Prolog ... Мне кажется, что Prolog могут быть очень параллельными, возможно, при попытке сопоставления с правилом пробовать сразу много возможностей. Есть ...
вопрос задан: 2 February 2014 23:32
0
ответов
Эффективное представление изменяемого графа в Прологе?
Я хотел бы представить изменяемый граф в Прологе в эффективным способом. Я буду искать подмножества в графе и заменять их другими подмножествами. Мне удалось кое-что заработать ...
вопрос задан: 2 February 2014 23:32
0
ответов
Что делает предикат s () в Прологе?
Я пытался изучить Пролог и полностью зашел в тупик, что делает предикат s ().
Я вижу, что он часто используется, и в Интернете так мало ресурсов о Prolog, что я не могу найти ...
вопрос задан: 2 February 2014 23:21
0
ответов
Могу ли я использовать переменные с assert/1?
То, что я имею сейчас, проверяет, что X(Y) не является общепринятым фактом в моей небольшой БД. Поскольку X(Y) возвращает false, он попытается утвердить это. (Я понимаю, что это создает проблемы, когда X является правилом, а не фактом) ...
вопрос задан: 2 February 2014 23:16
0
ответов
Я хочу создать динамические факты в прологе
Я написал следующий простой код и ожидаю, что когда я напишу «мужчина.», Этот код спросит меня один раз »будет это мужчина? " и если я ввожу «Нет», на экране будет написано «она женщина». мужчина: - (print ('это мужчина?') ...
вопрос задан: 2 February 2014 23:15