The set of all true instantiations of some given predicate is the extension of that predicate. In the example, therefore, what we want to do is record the ...
確定! 回上一頁