Logic variables are similar to locals in Clojure. ... It is a goal that succeeds if lvar1 can be made equal to lvar2 , otherwise it fails.
確定! 回上一頁