Einfaches Prdikat nth1 in Prolog

Question

Mit SWI Prolog gibt es ein Prädikat, das das n-te Element in einer Liste namens nth1 findet. Ich möchte meine eigene Version des Prädikats implementieren, aber SWI's sind so kompliziert, wenn Sie sich den Listing (nth1) Code ansehen. Gibt es einen einfacheren Weg?

Danke :).

Answer 1

Der SWI-Code ist ein wenig kompliziert, weil das Prädikat aus einem variablen Index verwendet werden kann, generieren:

?- nth1(Idx,[a,b,c],X). 
Idx = 1, 
X = a ; 
Idx = 2, 
X = b ; 
Idx = 3, 
X = c ; 
false. 

Wenn Sie dieses Verhalten nicht wollen, nth1/3 leicht in Bezug auf nth0 umgesetzt werden kann:

nth1(Idx,List,X) :- 
    Idx0 is Idx-1, 
    nth0(Idx0,List,X). 

bearbeiten: es ist auch möglich, ohne nth0 in nur wenigen Zeilen Code zu tun:

nth1(1,[X|_],X) :- !. 
nth1(Idx,[_|List],X) :- 
    Idx > 1, 
    Idx1 is Idx-1, 
    nth1(Idx1,List,X). 

Answer 2

Ich wollte nicht widersprüchlich sein oder jemand anderen meine Arbeit tatsächlich tun; Ich wollte nur einen Rat, sorry dafür, dass ich nicht klarer bin.

Ich habe es jetzt selbst implementiert, aber könntest du vielleicht Verbesserungen oder bessere Möglichkeiten vorschlagen? Was ich oft in Prolog mache, ist ein Prädikat zu schreiben, indem man einen Zähler oder eine Menge von Zählern sagt und ein Prädikat mit weniger Argumenten erhält, um die Klauseln mit zusätzlichen Argumenten aufzurufen. Dies führt oft zu ziemlich viel Code. Wie auch immer, hier ist meine Implementierung, die ich gerade gemacht habe:

item_at(N, L, Item) :- 
    item_at(N, 0, L, Item). 
item_at(N, Count, [H|_], Item) :- 
    CountNew is Count + 1, 
    CountNew = N, 
    Item = H. 
item_at(N, Count, [_|T], Item) :- 
    CountNew is Count + 1, 
    item_at(N, CountNew, T, Item). 

Kommentare? Vielen Dank :). Verbrauch:

?- item_at(3,[a,b,c,d,e],Item). 
Item = c ; 

Answer 3

Betrachten endlichen Bereich Einschränkungen für die allgemeine (reversible) integer Arithmetik:

:- use_module(library(clpfd)). 

nth1(1, [E|_], E). 
nth1(N, [_|Xs], E) :- 
     N #> 1, 
     N #= N1 + 1, 
     nth1(N1, Xs, E).