[ library(xml) | Third Party Libraries | Reference Manual | Alphabetic Index ]

xml_subterm(+XMLTerm, ?Subterm)

Unifies Subterm with a sub-term of Term.

XMLTerm: Structured term
Subterm: Structured term

See Also

xml_parse / 2, xml_parse / 3, xml_pp / 1