https://github.com/AAAI-DISIM-UnivAQ/DALI/blob/eb30e1d2f5f84c2449e45bcd4f2180111975e01b/src/examine_past_constraints.pl#L23 The first clause of the `decompose_terms1/1` predicate already handles the case where the first argument is an empty list.
DALI/src/examine_past_constraints.pl
Line 23 in eb30e1d
The first clause of the
decompose_terms1/1predicate already handles the case where the first argument is an empty list.