Python：pyswp输出返回Atom和Functor

2022-02-26 00:00:00 python logic intersection prolog