backend(swi).
profiles([iso]).
allow(shell/1).