meta-predicate

2зной

2ответ

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

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

1зной

1ответ

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

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

1зной

1ответ

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

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

3зной

1ответ

Версия DCG для maplist/3

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

2зной

1ответ

maplist с параметризованным предикатом

Можно ли использовать параметризованный предикат в mapList? Например, я хотел бы сделать следующее: Итер по списку, и для каждого четного элемента (список содержит только числа) сопоставьте этот элеме

1зной

2ответ

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

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

5зной

1ответ

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

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