prolog-defaulty
0
Prolog: how to do "check(a++b++c++d equals d++a++c++b) -> yes"
Let\'s define custom operators - let it be ++,equals :- op(900, yfx, equals). :- op(800, xfy, ++). And fact:[详细]
2023-04-01 01:12 分类：问答Prolog - formulas in propositional logic
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.[详细]
2023-01-20 14:07 分类：问答顺产前准备2斤刀纸够用了吗？？
目前怀孕40周，医生说就这两天，打算顺产。但是，我看到网上很多宝妈说刚刚还没准备好的包包。其中一个说需要自带刀纸。之前对这个不太了解。我看别人都是准备一个2斤的，所以我也打算准备2斤，但是怕不够。想问问生[详细]
2022-12-23 12:30 分类：问答
![Interactive visualization of a graph in python [closed]](https://www.devze.com/res/2023/04-10/09/92d32fe8c0d22fb96bd6f6e8b7d1f457.gif)
加载中,请稍侯......