http://lpis.csd.auth.gr/prolog/Prolog_multi/prolog_main_guide.html