Arithmetic in Prolog normally means implicit projection - you are no longer working relationally with logic variables but with the actual values they are ...
確定! 回上一頁