meta-predicate

3зной

1ответ

Часто используется мета-предикат. Обратите внимание, что его нельзя назвать maplist//2, потому что его расширение столкнется с maplist/4. maplistDCG(_P_2, []) --> []. maplistDCG(P_2, [A|As]) -->

1зной

1ответ

Удалить элемент из нескольких списков

У меня есть подзадача, для которой решение намного больше, чем я предполагаю. Проблема определяется следующим образом Удалить X из всех групп, где группа имеет идентификатор между Y и Z или А и В выра

2зной

2ответ

Могу ли я добавить список аргументов в call/2?

call(Goal,Arg) позволяет добавить аргумент Arg к аргументам цели и вызвать результирующую цель, например. call(succ(1), R). такая же, как succ(1, R). Однако, я не хочу, чтобы добавить в список арг

1зной

2ответ

ставит цель Prolog как вход в первую позицию аргумента и возвращает количество раз, когда эта цель преуспевает во второй позиции аргумента

Как говорится в названии, я хочу написать программу, которая делает это. примером может быть: ?- count(member(X,[1,2,3]), N). N = 3 Yes Но не только для сборки в члене, но и для некоторых операт

1зной

1ответ

Как установить домен переменной пары в CSP в Sicstus Prolog

Я использую Sicstus Prolog, и я пытаюсь решить Domino Puzzle. У меня есть список с триплетами, которые мне нужно установить в домене. Я знаю, как установить домен одной переменной или список отдельных

0зной

2ответ

Использование Prolog = .. предикат

Я работаю над упражнением, в котором я пытаюсь использовать предикат = .., чтобы написать процедуру, которая удаляет все элементы в List, для которых PredName (X) терпит неудачу, и возвращает оставшие

5зной

1ответ

модуль расширение целей, передаваемых библиотечной мета-сказуемых

SWI-Prolog Использования (многопоточный, 64 бита, версия 7.3.5), мы продолжим шаг за шагом: Определение dcg нетерминального a//1 в модуле dcgAux (произносится: "ди-SEE-Гох"): :- module(dcgAux,[a//1]

1зной

1ответ

Получить выход из тела, выполняемой с вызовом в Прологе

Предположим, что мы имеем предикат p/2, что делает что-то похожее на это: p('an atom', OutputList) :- some_predicate_1, some_predicate_2, ... findall(...,...,OutputList). p/2 дел

3зной

1ответ

Пролог высшего порядка уменьшить предикат

Мы можем определить более высокого порядка карта предикат: map([], [], F). map([A|As], [B|Bs], F) :- call(F, A, B), map(As, Bs, F). Аналогично, мы можем определить раз (слева): fold([], A