LDL++ Built-in Predicates

Built-in Predicates for Sets

Predicate name and Aguments Safe Binding Patterns Comments member(E, S) $E, $S E, $S subset(S1, S) $S1, $S S1, $S union(S1, S2, S) $S1, $S2, S $S1, $S2, $S $S1, S2, $S S1, $S2, $S S1, S2, $S difference(S1, S2, S) $S1, $S2, S S = S1 - S2 $S1, $S2, $S intersection(S1, S2, S) $S1, $S2, S S1 S2 $S1, $S2, $S cardinality(S, N) $S, N N = | S | $S, $N aggregate(N, S, R) $N, $S, R abbr: aggr

Predicate name and Aguments	Safe Binding Patterns	*Comments*
member(E, S)	$E, $S	$E \in S$
	E, $S
subset(S1, S)	$S1, $S	$S1 \subseteq S$
	S1, $S
union(S1, S2, S)	$S1, $S2, S	$S = S1 \cup S2$
	$S1, $S2, $S
	$S1, S2, $S
	S1, $S2, $S
	S1, S2, $S
difference(S1, S2, S)	$S1, $S2, S	S = S1 - S2
	$S1, $S2, $S
intersection(S1, S2, S)	$S1, $S2, S	S1 $S = S1 \cap S2$ S2
	$S1, $S2, $S
cardinality(S, N)	$S, N	N = \| S \|
	$S, $N
aggregate(N, S, R)	$N, $S, R	abbr: aggr