程序员为什么还要刷题 logicmoo clif 基础正向链知识库维护系统

程序员常刷题逻辑moo_base知识库维护系统?- ensure_loaded(library(logicmoo/logicmoo_base)). :- file_begin(pfc). spouse(X,Y) ==> spouse(Y,X). gender(P,male) <==> male(P). gender(P,female) <==> female(P).定义新的通用推理规则?- ensure_loaded(library(logicmoo/logicmoo_user)). :- file_begin(kif). parent(X,Y),female(X) <=> mother(X,Y). parent(X,Y),parent(Y,Z) => grandparent(X,Z). grandparent(X,Y),male(X) <=> grandfather(X,Y). grandparent(X,Y),female(X) <=> grandmother(X,Y). mother(Ma,Kid),parent(Kid,GrandKid) =>grandmother(M