Lines Matching refs:with
6 % in compliance with the License. You may obtain a copy of the License
60 When it is called with a nonground term, it produces a delayed goal
287 We always wake the \bipref{dif/2}{../bips/lib/sicstus/index.html} call with the
292 If, for instance, the compared terms are lists with thousands of elements
342 instead of decomposing each element with
485 To cope with this problem, we can use the ``short
488 one being shared with the previous suspension and the second
489 one with the next suspension.
490 All suspensions are thus chained with these variables.
604 especially its unifiability with other terms.
605 Our example with the \predspec{dif} predicate could be for instance
606 extended to work with finite domain or other constrained
611 other term, it might not necessarily be unifable with it, because