Included prompt in main.pl