goals.pl -- goals

Module for manipulating sequences of goals like lists.

author
- Paolo Frasconi, taking inspiration from various places
rmember(?A, ?B) is nondet
True when B is a comma-separated sequence and A occurs in it. Similar to member/2 for lists.
rabsent(+A, +B) is det
True when B is a comma-separated sequence and A does not occur in it.
rappend(+A, +B, +C) is det
True if A, B, and C are comma-separated sequences and C is the concatenation of A and B. Useful to generate "negative" edges Warning: does not terminate if A is a free variable.
goals_to_list(+G, -L) is det
True if G is a comma-separated sequence, and L the corresponding list of items. Warning: does not terminate if G is a free variable.
list_to_goals(+L, -G) is det
True if L is a list of items and G the corresponding comma-separated sequence Warning: does not terminate if L is a free variable.