unfolding/2
(FLOPER 0.3)
Empty description.
Description
unfolding(?Id, rule(head(?Head), imp(?Implication), body(?Body), td(?TD)))Examples
No examples provided.
(FLOPER 0.3)
Empty description.
unfolding(?Id, rule(head(?Head), imp(?Implication), body(?Body), td(?TD)))No examples provided.