推論式関係形式システム
【すいろんしきかんけいけいしきしすてむ】
【suironshikikankeikeishikishisutemu】
推理关系系统