Мне интересно о списках пролога

Question

Мне интересно, есть ли способ «сократить» объявление списка в прологе. Вместо [1,2,3]. Я хотел бы myList = [1,2,3]. так что я могу попытаться использовать myList (например, member (X, myList) вместо того, чтобы повторять фактический список по всем местам, в которых я нуждаюсь. Возможно ли это? Тот факт, что я ничего не нашел в google еще говорит мне, что это, вероятно, нет, но вы никогда не знаете Спасибо

Answer 1

вы можете использовать обычный Пролог «факт» вместо такого заявления, как это:..

myList([1, 2, 3]). 

Теперь вы можете использовать этот факт в вашей программе, например:

someRule :- 
    myList(L), /* Unify L with the list from myList fact */ 
    member(X, L), /* Use L, which is now the [1, 2, 3] list */ 
    ... 

Этот подход позволяет избежать использования кодированных списков t шляпу нужно использовать из нескольких мест в вашей программе.

Answer 2

в предложении, просто использовать Variable (т.е. символа, начиная в верхнем регистре) объединены в список буквальным

some_rule(Z) :- 
    X = [1,2,3], Y = [4,5,6], 
    append(X, Y, Z), 
    forall(member(M, X), writeln(M)). 

В противном случае, чтобы разделить список между несколькими пунктами, идти с dasblinkelight»намек.

Answer 3

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

:- dynamic my_spell_is/1. 
my_spell_is(none). 

spellslist([fire,ice,lightning,heal]). 

casting :- 
    my_spell_is(X), 
    write('Current spell: '), write(X), nl. 

isspell(X) :- (validSpell(X) -> 
my_spell_is(Y), 
retract(my_spell_is(Y)), 
assert(my_spell_is(X)) ; 
write(X), write(' is not a valid spell.'), nl). 

validSpell(X) :- 
    spellslist(L), /* Unify L with the list from spellslist fact */ 
    member(X, L). /* Use L, which is now the [fire,ice,lightning,heal] list */