🌈 搜索
📅  最后修改于: 2022-03-11 14:57:27.794000             🧑  作者: Mango
?- \+ (2 = 4). true. ?- not(2 = 4). true. Just use not()