Definite Clause Programs are Canonical (over a suitable domain).评价结果

评估详情

1