Verwenden Sie eine Regel mit einer Liste

Question

In Prolog, ich bin

list([5,2,1,6,3]). 

ich mit dem Ausgang richtig abfragen kann wie mit einer Liste eine list.pl Datei Consulting Liste (X):

1 ?- list(X). 
X = [5, 2, 1, 6, 3] 

aber ich versuche, die Abfrage der Liste mit einer Regel zu kombinieren. Ist das möglich? Ich überprüfte die Logik der Regel, und es funktioniert einwandfrei, wenn ich die Liste in der Regelabfrage erklären, wie:

reverse([5,2,1,6,3], What). 

Was ich wirklich tun möchte ist die bezeichnete Liste aus der Datei aufrufen zu umkehren um es soweit wie möglich zu bereinigen, damit ich nicht ständig die Liste für alle Abfragen eingeben muss.

Vielen Dank im Voraus

Answer 1

Sie die folgenden Regeln in Ihrer pl-Datei hinzufügen und dann können Sie das umgekehrte Prädikat

reverse([],[]). 
reverse([H|T], What):- 
    reverse(T,ReverseList), 
    append(ReverseList,[H], What).