prolog/init.pl
