A Declarative Approach for First-Order Built-in's of Prolog.评价结果

评估详情

7