Top Level Namespace

Defined in:

Macro Summary

export_rule(expr)
query(expr)
rule(expr)
term_n(term, n)
translate_clause_to(dest, clause)

Macro Detail

macro export_rule(expr) #

[View source]

macro query(expr) #

[View source]

macro rule(expr) #

[View source]

macro term_n(term, n) #

[View source]

macro translate_clause_to(dest, clause) #

[View source]