With the present work, we add support for reference-type logic variables to a Java-based constraint-logic object-oriented language. Allowing free objects in ...
確定! 回上一頁