Back to Home

Built-in Predicates

GIC comes with a set of built-in predicates for common operations. Select a category below to explore the available predicates.

All-purpose

General predicates for unification and variable checking

EqDiffVar

Integers

Arithmetic operations and numeric comparisons

AddSubMulDivModLtLt_eqGtGt_eqEq_intDiff_intBetween

Lists

List manipulation and querying predicates

LengthIs_listElemAppendReverseNth