rolog (version 0.9.21)

submit: Submit a query that has been opened with query() before.

Description

Submit a query that has been opened with query() before.

Usage

submit(options = NULL)

Value

If the query fails, FALSE is returned. If the query succeeds, a (possibly empty) list is returned that includes the bindings required to satisfy the query.

Arguments

options

This is a list of options controlling translation from and to Prolog. Here, only postproc is relevant.

See Also

query() for a opening a query.

rolog_options() for fine-grained control on the translation from R to Prolog and back.

clear() for a clearing a query.

once() for a opening a query, submitting it, and clearing it again.

findall() for a opening a query, collecting all solutions, and clearing it again.

Examples

query(call("member", expression(X), list(quote(a), "b", 3L, 4, expression(Y))))
submit() # X = 3L
submit() # X = 4.0
submit() # X = TRUE
submit() # X = expression(Y) or Y = expression(X)
submit() # FALSE
submit() # warning that no query is open

query(call("member", expression(X), list(quote(a), "b", 3L, 4)))
submit() # X = a
submit() # X = "b"
clear()