Liste Länge, einlegen element

Ich versuche, ein Programm zu schreiben in Prolog, die das einfügen eines Elementes in eine bestimmte position, also z.B.

?- ins(a, [1,2,3,4,5], 3, X).
X = [1,2,a,3,4,5].

Ich habe den folgenden code:

ins(X,[H|T],P,OUT) :-
   length([T3],P),
   concatenate(X,[H],T),
   ins(...).

Das problem ist, dass es das einfügen von element X im index von hinten (ich weiß auch wo das problem ist -> die length([T3],P) ist offensichtlich die Länge der Liste zurück nicht aus dem Kopf) . Ich war versucht sich zu erinnern, wie viel Elemente habe ich abgeschnitten und legen Sie X wenn "Anzahl der cut-off-Elemente" = P, aber ich kann nicht wirklich schreiben, dass in Prolog. Irgendwelche Ideen?

InformationsquelleAutor Johnzzz | 2012-04-08

list prolog

% ins(Val,List,Pos,Res)

ins(Val,[H|List],Pos,[H|Res]):- Pos > 1, !, 
                                Pos1 is Pos - 1, ins(Val,List,Pos1,Res). 
ins(Val, List, 1, [Val|List]).

Dem Prädikat schlägt fehl, wenn Pos = 0 oder Pos - > Länge(Liste) + 1

InformationsquelleAutor Alexander Serebrenik

2

Lassen was Sie hier wollen. Zum Beispiel könnten Sie sagen: "ich will mein split input List nach Position - 1 Elemente, so dass ich legen Sie ein neues element".

Eine direkte übersetzung mit append/3 (DCG wäre besser, btw):
```
ins(Element, List, Position, Result) :-
    PrefixLength is Position - 1,
    length(Prefix, PrefixLength),
    append(Prefix, Suffix, List),
    append(Prefix, [Element], Temp),
    append(Temp, Suffix, Result).
```
Oder man könnte sagen: "ich will gehen durch die Elemente meiner List Position - 1 mal ohne nichts berühren und dann einfügen Element und dann nicht berühren, wieder nichts".

Dieser Zeit die direkte übersetzung wäre:
```
ins2(Element, List, 1, [Element|List]).
ins2(Element, [Head|Tail], Position, [Head|Result]) :-
    Position > 1,
    NewPosition is Position - 1,
    ins2(Element, Tail, NewPosition, Result).
```
konnte Sie auch erklären: "Meine Eingabe List ist eine Liste gleich meine Result außer es war nicht meine Element als Positionth-element." und erkennen, dass, wenn Sie verwenden swi-prolog, ein Prädikat, löst dies sofort:
```
ins3(Element, List, Position, Result) :-
    nth1(Position, Result, Element, List).
```
Bottom line ist: sagen, was das problem ist klar und die Lösung sollte in einfachen Worten.

pos>1, newPos ist P -1, wuaa das ist, was ich gesucht habe 🙂 thx a lot

InformationsquelleAutor m09

TL;DR: einfügen Element E an position I1 in die Liste Es0, brauchen wir nicht zu schreiben, rekursiven code.

Stattdessen können wir delegieren die Arbeit (und die sorgen darum, es richtig, auch!) zur vielseitigen Hilfs-Prädikate, von denen alle sind Teil der Prolog-Prolog. Definieren ins_/4 wir schreiben:

ins_(E, Es0, I1, N) :- 
maplist(any_thing, Es, [_|Es0]), 
Anhängen(Präfix, Suffix, Es0), 
Länge([_|Präfix], I1), 
Anhängen(Präfix, [E|Suffix], Es). 

any_thing(_, _). % Hilfs-Prädikat (oben verwendet)

Beachten Sie, dass maplist(any_thing, Es, [_|Es0]) entspricht same_length(Es, [_|Es0]).

Beispiel Abfragen^1,2,3 mit GNU Prolog version 1.4.4 (64-bit):

?- ins_(X, [a,b,c,d,e], N1, Xs). 
N1 = 1, Xs = [X,a,b,c,d,e] 
; N1 = 2, Xs = [a,X,b,c,d,e] 
; N1 = 3, Xs = [a,b,X,c,d,e] 
; N1 = 4, Xs = [a,b,c,X,d,e] 
; N1 = 5, Xs = [a,b,c,d,X,e] 
; N1 = 6, Xs = [a,b,c,d,eX] 
; falsch. 

?- ins_(X, [a,b,c,d,e], 3, Xs). 
Xs = [a,b,X,c,d,e] 
; falsch. 

?- ins_(X, Xs0, 3, [a,b,c,d,e]). 
X = c, Xs0 = [a,b,d,e] 
; falsch.

Lasst uns nicht vergessen, über die Allgemeine Abfrage!

?- ins(X, Es0, I1, N). 
Es0 = [], I1 = 1, Es = [X] 
; 
Es0 = [A], I1 = 1, Es = [X,] 
; Es0 = [A], I1 = 2, Es = [A,X] 
; 
Es0 = [A,B], I1 = 1, Es = [X,A,B] 
; Es0 = [A,B], I1 = 2, Es = [A,X,B] 
; Es0 = [A,B], I1 = 3, Es = [A,B,X] 
; 
Es0 = [A,B,C], I1 = 1, Es = [X,A,B,C] 
; Es0 = [A,B,C], I1 = 2, Es = [A,X,B,C] 
; Es0 = [A,B,C], I1 = 3, Es = [A,B,X,C] 
; Es0 = [A,B,C], I1 = 4, Es = [A,B,C,X] 
; 
Es0 = [A,B,C,D], I1 = 1, Es = [X,A,B,C,D] 
; ...

Fair enumeration aller Lösungen, OK!

EDIT:
Ich wiederholte die Allgemeine Abfrage mit ins3/4 definiert
@m09 in seiner Antwort auf SWI-Prolog 7.3.11 und SICStus Prolog 4.3.2 (beide verfügen über die Bibliothek Prädikat nth1/4).
Ich war überrascht zu sehen, die zugrunde liegenden Implementierungen von nth1/4 weisen unterschiedliche prozedurale Semantik (w.r.t. "fair " enumeration"). Sehen Sie selbst!

% SICStus Prolog 4.3.2 % SWI-Prolog 7.3.11 
% % 
?- ins3(X, Es0, I1, N). % ?- ins3(X, Es0, I1, N). 
I1 = 1, Es0 = [], Es = [X] % I1 = 1, Es = [X|Es0] 
; % ; I1 = 2, Es0 = [_A|_], 
I1 = 1, Es0 = [_A], Es = [X,_A] % Es = [_A,X|_Z] 
; I1 = 2, Es0 = [_A], Es = [_A,X] % ; I1 = 3, Es0 = [_A,_B|_], 
; % Es = [_A,_B,X|_Z] 
I1 = 1, Es0 = [_A,_B], Es = [X,_A,_B] % ; I1 = 4, Es0 = [_A,_B,_C|_], 
; I1 = 2, Es0 = [_A,_B], Es = [_A,X,_B] % Es = [_A,_B,_C,X|_], 
; I1 = 3, Es0 = [_A,_B], Es = [_A,_B,X] % ; I1 = 5, Es0 = [_A,_B,_C,_D|_Z], 
; % Es = [_A,_B,_C,_D,X|_Z] 
... % ...

^{Fußnote 1: Alle Beispiel-Abfragen, die oben gezeigt kündigen universell.}

^{Fußnote 2: Die Antworten der GNU-Prolog-toplevel haben schon Recht-gedruckt ein wenig.}

^{Fußnote 3: Der code oben dargestellt ist, verwendet ist, keine zusätzliche Bibliothek Prädikate sind erforderlich.}

InformationsquelleAutor repeat

0
```
ins(Element,List,Nth,Result) :-
    length([_|L0],Nth),
    append(L0,[_|R],List),
    append(L0,[Element|R],Result).
```
Während dieser code kann die Frage beantworten, besser wäre es, zu erklären, wie er das problem löst und warum es zu benutzen. Code-nur die Antworten sind nicht nützlich im langen Lauf.
Die Abfrage ?- ins_(a,[1,2,3,4,5],3,[1,2,a,3,4,5]). ausfällt, sollte es gelingen. OTOH die Abfrage ?- ins_(a,[1,2,3,4,5],3,[1,2,a,4,5]). gelingt, sollte es scheitern. Um den Fehler zu beheben, müssen Sie löschen genau 4 Zeichen:)

InformationsquelleAutor 尾崎隆大

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.