login

Availability::- use_module(library(lists)).(can be autoloaded)
reverse(?List1, ?List2)
Is true when the elements of List2 are in reverse order compared to List1.