prolog -v -BOOT < defss
