Logic with prolog /