SWI-Prolog
step21