Difference lists in Prolog
Download