1 2 3 4 | append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y). |
-
upload with new input
-
result: Success time: 0.02s memory: 6204 kB returned value: 0
|-?reverse(X,[a,b,c]).
ERROR: Syntax error: Operator expected ERROR: | ERROR: ** here ** ERROR: -?reverse(X,[a,b,c]) .
-
result: Success time: 0.02s memory: 6204 kB returned value: 0
?reverse(X,[a,b,c]).
ERROR: Syntax error: Operator expected ERROR: ? ERROR: ** here ** ERROR: reverse(X,[a,b,c]) .
-
result: Success time: 0.03s memory: 6204 kB returned value: 0
?-reverse(X,[a,b,c]).
ERROR: toplevel: Undefined procedure: (?-)/1 (DWIM could not correct goal)
-
result: Success time: 0.02s memory: 6204 kB returned value: 0
reverse(X,[a,b,c]).
X = [c, b, a] EOF: halt
-
result: Success time: 0.02s memory: 6204 kB returned value: 0
reverse(X,[a,b,c])
ERROR: Stream user_input:0:0 Syntax error: Unexpected end of file
-
result: Success time: 0.02s memory: 6204 kB returned value: 0



