fork download 
  1. reverse_list([], []).
  2. reverse_list([Head|Tail], [SubResult|Head])
  3.     :- reverse_list(Tail, SubResult).
  4.  
Success #stdin #stdout 0s 68352KB
comments (?)
stdin 
reverse([], What).
reverse([1], What).
reverse([2,1], What).
reverse([3,2,1], What).
reverse([1,4,5,3,6], What).
stdout 
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz

What = []

yes

What = [1]

yes

What = [1,2]

yes

What = [1,2,3]

yes

What = [6,3,5,4,1]

yes
https://ideone.com/RZRvY
language:
Prolog (gprolog 1.4.5)
created:
14 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!