prolog

1зной

1ответ

Prolog Member Predicate Weight за элемент

Я собираю это правило для своей пролог-программы, когда при вызове должно быть указано количество начинок, которые могут содержаться. Он не может находиться ниже или выше 40 pizza(P, S, B, O, M) :-

2зной

1ответ

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

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

0зной

2ответ

Как динамически утверждать новые данные в Prolog

Я ранее определял несколько фактов динамически, как показано ниже. % declare dynamic facts :- dynamic title/2. :- dynamic author/2. :- dynamic publisher/2. :- dynamic price/2. :- dynamic call_num

0зной

1ответ

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

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

0зной

1ответ

Проверка функтора в списке

Если у меня есть это: ?:check_dv([v(1,x),v(2,y)], X). Как я могу проверить, что это второй аргумент, например v(1,x) (в данном случае x)? Как только я возглавлю список: [Head | Tail], с Head = [v(1,