Some commands for prolog