predicates.pl -- Basic information about sCASP predicates

user_predicate(:Goal): Success if Goal is a user predicate
table_predicate(:Goal): Success if Goal is defined as a tabled predicate with the directive :- table pred/n.
prolog_builtin(?Goal): Success if Goal is a builtin prolog predicate (the compiler introduced its dual)
clp_builtin(?Goal): Success if Goal is a builtin constraint predicate
clp_interval(?Goal): Success if Goal is a builtin constraint predicate to extract interval limits
scasp_compiled(?Head): True when Head is part of the transformed representation.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.