A formal definition and a sound implementation of analogical reasoning in logic programming.评价结果

评估详情