Usaremos SWI-Prolog:  https://www.swi-prolog.org/


-------------------------------------------------------------------------