:- use_module(library(quasi_quotations)).(can be autoloaded)
- Its initial position represents the position of the start of the quoted material.
- It is a text stream, using
- It allows for repositioning
- It will be closed after Goal completes.
|Goal||is executed as |
- See also
- phrase_from_quasi_quotation/2 can be used to process a quotation using a grammar.