我有一个关于语句和短路与无短路的处理的问题（我不知道无短路的确切名称）。 方案如下。 想象一下，我有两个语句 p 和 q，它们按以下方式计算： if ( p && q ) then .... ...

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