有些前提我无法在prolog中正确表示，如下所示： “只有当我既不在嘈杂的环境中，也没有在睡前摄入咖啡因时，我才能睡个好觉。” SleepWell <-> (-Noisy & -Caffeine)...