Результаты поиска по запросу "swi-prolog"

3 ответа

Потоковое рассуждение / Реактивное программирование в прологе?

Мне было интересно, знаете ли вы какой-либо способ использования пролога для потоковой обработки, то есть какое-то реактивное программирование, или, по крайней мере, чтобы запрос выполнялся на базе знаний, которая постоянно обновляется ...

2 ответа

Хорошо, ура в любом случае, вы мне очень помогли.

аюсь поработать Алефом со Swi-прологом. Когда я запустил свою программу, я получил ошибку здесь. Что я могу сделать, чтобы импортировать библиотеку (aleph)? Кстати, я уже скачал Aleph.pl для своей программы. Вот моя тестовая программа, я знаю, ...

1 ответ

После того, как я добавил этот ответ, я проверил свои заметки и обнаружил, что с тех пор, как я сделал это несколько лет назад, код был перемещен в GitHub, :), но процесс сборки также был изменен. Старая версия, которую я имею, строит 32-битную и отдельную 64-битную версию. Сборка GitHub предназначена только для 64-битной версии, насколько я могу судить. Большинство заметок, которые у меня были, все еще действительны, но сейчас я проверяю код в GitHub.

азовательных целях один из предметов нашего колледжа требует проекта, который объединяет любой экземпляр Prolog с любым другим языком поддержки GUI. Я пошел с C #, так как у меня больше всего опыта с ним. Я пытаюсь учиться на примере коллег по ...

ТОП публикаций

3 ответа

, это довольно медленно, но позволяет избежать проблемы "вне стека":

ужно посчитать всеX, этоsome_predicate(X) и таких действительно многоX, Каков наилучший способ сделать это? Первый ключ - найти все это, собрать в список и вернуть его длину. countAllStuff( X ) :- findall( Y , permutation( ...

1 ответ

читать строку в атомном списке в прологе

Мне нужно прочитать любую строку (из user_input) в атомарный список, например: Example line, which contains any ASCII chars.в: [Example,'line,',which,contains,any,ASCII,'chars.']что у меня так далеко: read_line_to_codes(user_input, Input), ...

2 ответа

Predsort / 3, как msort / 2

Я хотел бы знать, возможно ли использоватьpredsort/3 без потери повторяющихся значений? Если нет, то как мне отсортировать этот список терминов? Текущая функция сортировки: compareSecond(Delta, n(_, A, _), n(_, B, _)):- compare(Delta, A, ...

3 ответа

Переполнение стека в правиле грамматики Prolog DCG: как обрабатывать большие списки эффективно или лениво

Я разбираю довольно простой формат файла, состоящий из ряда строк, каждая строка имеет несколько полей, разделенных пробелами, который выглядит следующим образом: l 0x9823 1 s 0x1111 3 l 0x1111 12 ⋮Я использую SWI-Prolog. Это DCG у меня ...

1 ответ

Каковы оптимальные зеленые срезы для суммы арифметики преемника?

Чтобы получить зеленые сокращения в Прологе, я пытаюсь добавить их к стандартному определению суммы в арифметике преемника (см. Предикатplus вЧто такое дерево SLD для этого запроса? [https://stackoverflow.com/questions/13162803]). Идея состоит в ...

4 ответа

Получение порядка в разрешении предикатов

Посмотрите на следующие цели (я использую swi-пролог с clpfd от Маркуса Триски): result(Input,Result) :- Input #> 10, Result=decline. result(Input,Result) :- Input in 0..20, Result=offer.Возможный запрос выглядит так: ?- result(15,B). B = ...