Welcome to SWI-Prolog (Multi-threaded, Version 5.6.20)
Copyright (c) 1990-2006 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).



Yes
[4, 50, 1, 21, 2, 30, 11, 43, 12, 12, 231, 3423, 1212, 12] -> [1, 2, 4, 11, 12, 12, 12, 21, 30, 43, 50, 231, 1212, 3423]: OK

Yes

% halt