LDL++ Built-in Predicates

Predicate name and Arguments Safe Binding Patterns Comments L = R $L, $R L, R arbitrary terms L, $R L is a variable $L, R R is a variable L ~= R $L, $R L > R $L, $R L < R $L, $R L <= R $L, $R L >= R $L, $R

Predicate name and Arguments	Safe Binding Patterns	*Comments*
L = R	$L, $R	L, R arbitrary terms
	L, $R	L is a variable
	$L, R	R is a variable
L ~= R	$L, $R	$L \neq R$
L > R	$L, $R
L < R	$L, $R
L <= R	$L, $R	$L \geq R$
L >= R	$L, $R	$L \geq R$

Built-in Predicates for Terms