SWI-Prolog -- with_quasi_quotation_input/3

SWI-Prolog Did You Know Did you know? SWI-Prolog for WASM is an npm package

Search Documentation:

Predicate with_quasi_quotation_input/3

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatria
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic Programming
- External collections▶
  - Meta level tutorials
- For packagers▶
  - Linux packages
COMMUNITY
COMMERCIAL
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(quasi_quotations): Define Quasi Quotation syntax
- Packages

Availability::- use_module(library(quasi_quotations)).(can be autoloaded)

Source

[det]with_quasi_quotation_input(+Content, -Stream, :Goal)

Process the quasi-quoted Content using Stream parsed by Goal. Stream is a temporary stream with the following properties:

Its initial position represents the position of the start of the quoted material.
It is a text stream, using utf8 encoding.
It allows for repositioning
It will be closed after Goal completes.

Goal is executed as once(Goal). Goal must succeed. Failure or exceptions from Goal are interpreted as syntax errors.

See also: phrase_from_quasi_quotation/2 can be used to process a quotation using a grammar.