[ library(xml) | Reference Manual | Alphabetic Index ]
xml_subterm(+XMLTerm, ?Subterm)
Unifies Subterm with a sub-term of Term.
- XMLTerm
- Structured term
- Subterm
- Structured term
Description
This can be especially useful when trying to test or retrieve a
deeply-nested subterm from a document - as demonstrated in this
example
program. Note that XMLTerm is a sub-term of itself.
See Also
xml_parse / 2, xml_parse / 3, xml_pp / 1