SWI-Prolog
PeplexedCoding