Did you know ... Search Documentation:
curr_sym.pl
PublicShow source
Source subgoal_property(?SubGoal, ?Property) is nondet
True if a (tabled) SubGoal has Property, where Property is represented as a two-element list [Name,Value].
To be done
- This is an incomplete implementation to support the test suite.