An implementation of the block declaration for SWI-Prolog - View it on GitHub