Diaz, D. (2021). The GNU Prolog System (Version 1.5.0) [Computer software]. https://doi.org/10.5281/zenodo.7660532