sicstus -l Agents/single_agent.pl --goal run.