Elxlog v0.1.6 Elxlog View Source

Elxlog is main module of Elxlog

Link to this section Summary

Functions

bar(str)

for test

find_var1(x, res)

is_anonymous(arg1)

is_builtin(arg1)

is_clause(arg1)

is_formula(arg1)

is_variant(arg1)

repl()

stop()

for debug

Link to this section Functions

add_ask(x)

bar(str)

for test

error(msg, ls)

find_var(x)

find_var1(x, res)

is_anonymous(arg1)

is_atomvar(x)

is_builtin(arg1)

is_clause(arg1)

is_compound(x)

is_formula(arg1)

is_pred(arg1)

is_var(x)

is_variant(arg1)

repl()

stop()

for debug

unique(list)