#### 11.2.20 Term Comparison

`compare(`

`-C``,`

`+X``,`

`+Y``) `

meta-predicate- C is the result of comparing terms
`X` and `Y`

`+X`` == `

`+Y` ISO- terms
`X` and `Y` are strictly identical

`+X`` \== `

`+Y` ISO- terms
`X` and `Y` are not strictly identical

`+X`` @< `

`+Y` ISO- term
`X` precedes term `Y` in standard order for terms

`+X`` @>= `

`+Y` ISO- term
`X` follows or is identical to term `Y` in standard order for terms

`+X`` @> `

`+Y` ISO- term
`X` follows term `Y` in standard order for terms

`+X`` @=< `

`+Y` ISO- term
`X` precedes or is identical to term `Y` in standard order for terms

Send feedback on this subject.