| 書式 | glb(+$FS1, +$FS2, -$FS3) |
|---|---|
| -$FS3 is the Greatest Lower Bound of $FS1 and $FS2. Let's try these. | |
?- A=[1,1|A], B=[1,1,1|B], glb(A,B,GLB). ?- A=[1,2|A], B=[1,2,3|B], glb(A,B,GLB). | |
| 書式 | restriction_cycle(+$FS) | |||
|---|---|---|---|---|
| 引数 |
| |||
| restrict cycles in $FS | ||||
| 書式 | have_cycle(+$FS) | |||
|---|---|---|---|---|
| 引数 |
| |||
| this is true if $FS has a cycle | ||||
| 書式 | find_fail_point(+$A, +$B, -$PATH, -$REASON) | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 引数 |
| ||||||||||||
This predicate shows us the failing point when we try to unify $A and $B.
$PATH is the path to the failing point, and $REASON is the reason
of its unification failure. $REASON should be,
| |||||||||||||
| 書式 | find_all_fail_point(+$A, +$B, -$PATHs, -$REASONs) | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 引数 |
| ||||||||||||
| 関連項目 | find_fail_point/4 | ||||||||||||
| This predicate finds all the unification failing points in $A and $B. In this predicate, 'find_fail_point' is called to find a failing point and all the failing points are retrieved by removing the last failing point in $A by 'restriction' and calling 'find_fail_point' again. | |||||||||||||