Let\'s define custom operators - let it be ++,equals :- op(900, yfx, equals). :- op(800, xfy, ++). And fact:
I am trying to make a predicate in order to validate if a given input represents a formula. I am allowed to use only to propositional atoms like p, q, r, s, t, etc.
目前怀孕40周，医生说就这两天，打算顺产。但是，我看到网上很多宝妈说刚刚还没准备好的包包。其中一个说需要自带刀纸。之前对这个不太了解。我看别人都是准备一个2斤的，所以我也打算准备2斤，但是怕不够。想问问生
加载中,请稍侯......