swi-prolog

0зной

2ответ

Как проверить, соответствует ли пользователь вмененной строке строке в списке?

Я хочу проверить, совпадает ли слово в предложении, введенное пользователем, по крайней мере одной строкой в списке. Вот что у меня есть. Мой предикат-тест возвращает false, когда я вхожу, например,

2зной

1ответ

JPL7, список строк в прологе-запросе

я есть пролог-запрос, который нуждается в массив как атом: searchEventsOnCategory (Категории, События) Категории список строк. Пример ввода: searchEventsOnCategory ([ 'Bar', 'Дискотека'], События) Вых

0зной

1ответ

Утверждение и использование быстрых, больших массивов в прологе

Я использую функторы для получения массивов с произвольным доступом с использованием arg/3 в SWI-Prolog. Что я делаю, это загрузка значений из образца в созданный мной функтор и утверждение массива дл

2зной

1ответ

Выход из всех ошибок в SWI Prolog

Есть ли способ сделать вывод SWI Prolog на любой синтаксис или ошибки анализа? Я пишу тесты и запускаю их автоматически, и я не всегда замечаю сообщения об ошибках, если у меня есть синтаксические оши

0зной

1ответ

Индекс подстроки Prolog

Я использую функцию sub_string. Поскольку я не знаю, сколько символов до или после, есть ли способ запустить эту строку кода (или какой-либо другой метод) поиска в строке, такой как «sdlfkjdonutlsv»,

0зной

1ответ

Не получить теорию в Aleph for SWI Prolog

Я пытаюсь заставить Алефа работать и вызывать простую теорию: grandparent (X, Z): - отец (X, Y), отец (Y, Z). Однако я возвращаю атом (например, grandparent (john, johnJuniorJunior)). Надеюсь, кто-то