Prolog - functional term vs predicate

2020-10-17 14:19发布