make_single     &&
make PROLOG=swi &&
make_normal
