Update the `parametric` example for compatibility with upcoming changes with SWI-Prolog, which changes the internal representation for lists