Prolog eine Liste Erstellen

Habe ich die Erstellung einer Liste von n Elementen, zum Beispiel,

do_list(5,L1).

zurückkehren sollte, 

L1=[1,2,3,4,5].

Dies ist, was ich habe, aber es funktioniert nicht.

do_list(X,L1):- X1 is X-1, do_list(X1,[X1|L1]).

do_list(0,[]).

InformationsquelleAutor xKalelX | 2012-04-18

  1. 7

    Wenn Sie möchten, erstellen Sie eine Liste der aufeinander folgenden zahlen von 1 bis N, die Sie verwenden können builtin-Prädikate findall/3 und between/3 diese Weise:

    do_list(N, L):- 
  findall(Num, between(1, N, Num), L).

?- do_list(5,L).
L = [1, 2, 3, 4, 5].

    SWI hat auch ein anderes vordefiniert, die genau das tut, numlist/3:

    ?- numlist(1,5,L).
L = [1, 2, 3, 4, 5].
    Oder nutzen Sie einfach numlist/3.
    Du hast Recht, aktualisiert die Antwort zeigen die alternative, die scheint besser

    InformationsquelleAutor gusbro

  2. 2

    Gibt es drei Probleme mit Ihrem code. Das erste problem ist, dass Sie hinzufügen von X1 in der Liste, die Klausel Stelle, aber Sie nie die neue Liste zurück, in Richtung des Kopfes der Klausel. I. e., L1 ist ein Akkumulator-variable, aber Sie brauchen eine Dritte argument, so wird an der endgültigen Liste.

    Das zweite ist, dass die zweite Klausel nur dann entspricht, wenn die Eingabe-Liste ist leer. Das wird nie der Fall sein, da Sie X1 hinzufügen, um die Liste vor dem Aufruf do_list/2 rekursiv. I. e., Sie haben keine Rekursion Anker, und das Ziel ?- do_list(5,L) nie wieder zurückkehren wird.

    Das Dritte problem ist, dass Sie hinzufügen von X1 in die Liste anstelle von X. Du würdest überspringen Sie die größte Zahl.

    Dies ist, wie es funktionieren sollte:

    do_list(N, L) :- do_list1(N, [], L).

do_list1(0, L, L) :- !.
do_list1(N, R, L) :- N > 0, N1 is N-1, do_list1(N1, [N|R], L).
    Was do_list(1,[]).
    Sie haben eine unheimliche Fähigkeit, Probleme erkennen, verursacht durch die implizite Verwendung der Modi! Ich habe soeben einen test auf der zweiten Klausel um das problem zu vermeiden. Danke für den Hinweis it out.
    Fixieren Sie nun auch do_list(-1,L). BTW, welche Systeme brauchen dies nicht !?

    InformationsquelleAutor twinterer

  3. 0

    Oder wenn Sie nicht wollen jede eingebaute Funktion (wie mich, als ich versuchte, dies als eine Praxis und führen Sie dann in dieser Frage), können Sie diese verwenden (funktioniert aber nicht effektive) Lösung:

    connect([],X,X).
connect([H|T],C,[H|T2]) :- connect(T,C,T2).

revert([],[]).
revert([H|T],R) :- revert(T,Trev), connect(Trev,[H],R)

do_revlist(0,[]).
do_revlist(X,[X|L]) :- X1 is X-1, do_revlist(X1,L).
do_list(X,L2) :- do_revlist(X,L), revert(L,L2).

    P. S. Funktioniert nur für positive Ganzzahlen.

    InformationsquelleAutor TGar

  4. 0

    Andere Lösung ähnlich der von twinterer aber ohne schneiden oder vordefinierte Prädikate, mit einem Akkumulator. 

    do_List(Max,L) :- do_ListAcc(1,Max,L). % call Accumulator

do_ListAcc(N,N,[N]). % N=:=N ends recursion
do_ListAcc(Min,Max,[Min|Succs]) :-
    Next is Min + 1,
    do_ListAcc(Next,Max,Succs).

    Funktioniert das auch nur für positive Ganzzahlen.

    Bitte verwenden Sie den link Bearbeiten, auf Ihre Frage auf weitere Informationen hinzufügen. Die Post-Antwort-button sollte nur verwendet werden, für vollständige Antworten auf die Frage.

    InformationsquelleAutor Henry Dorsett

Schreibe einen Kommentar