IN: (((stackAB (and (NOT onCA) (NOT onAB)) (onAB)) (stackBC (and (NOT onAB) (NOT onBC)) (onBC)) (stackCA (and (NOT onBC) (NOT onCA)) (onCA))) () ((onAB) (onBC))) OUT: (stackBC stackAB) COMMENTS: Simple Blocks-World puzzle --- IN: (((stackAB (and (NOT onCA) (NOT onAB)) (onAB)) (stackBC (and (NOT onAB) (NOT onBC)) (onBC)) (stackCA (and (NOT onBC) (NOT onCA)) (onCA))) () ((onAB) (onBC) (onCA))) OUT: (fail) COMMENTS: Impossible Blocks-World variant (consider the infinite loop it suggests) --- IN: (((stackAB (and (NOT onCA) (NOT onAB)) (onAB)) (stackBC (and (NOT onAB) (NOT onBC)) (onBC)) (stackCA (and (NOT onBC) (NOT onCA)) (onCA))) () ((NOT onAB) (NOT onBC) (NOT onCA))) OUT: () COMMENTS: CWA allows us to consider the job already done