as.rolog: Translate simplified to canonical representation

In rolog: Query 'SWI'-'Prolog' from R

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))

rolog documentation built on April 4, 2025, 12:31 a.m.