Crate polar_core

Modules

error
events
formatting	Formatting
kb
macros
messages
parser
polar
rules
terms
traces

Macros

args	Builds a list of arguments in reverse order Arguments of the form foo; bar get built into foo specialized on bar Otherwise, the argument is built depending on the type (symbols become names, terms become specializers).
call
dict
instance
op
param
partial
pattern
rule
string
sym
term
value
values