rolog (version 0.9.21)

as.rolog: Translate simplified to canonical representation

Description

Translate simplified to canonical representation

Usage

as.rolog(query = quote(member(.X, ""[a, "b", 3L, 4, (pi), TRUE, .Y])))

Arguments

query

an R call representing a Prolog query with prolog-like syntax, e.g., `member(.X, ""[a, b, .Y])` for use in [query()], [once()], and [findall()]. The argument is translated to Rolog's representation, with R calls corresponding to Prolog terms and R expressions corresponding to Prolog variables. Variables and expressions in parentheses are evaluated.

See Also

[query()], [once()], [findall()]

Examples

q <- quote(member(.X, ""[a, "b", 3L, 4, pi, (pi), TRUE, .Y]))
as.rolog(q)

q <- quote(member(.X, ""[a, "b", 3L, 4, pi, (pi), TRUE, .Y]))
findall(as.rolog(q))