neurolang.frontend.datalog.standard_syntax module

class neurolang.frontend.datalog.standard_syntax.DatalogTransformer(locals=None, globals=None)

Bases: Transformer

Methods

transform(tree)

Transform the given tree, and return the final result

argument
arguments
cmd_args
cmd_identifier
command
comparison
condition
conjunction
constant_predicate
constraint
div_term
existential_predicate
expressions
ext_identifier
fact
factor
head_predicate
id_application
identifier
identifier_regexp
keyword_args
keyword_item
lambda_application
lambda_expression
minus_op
minus_signed_id
mul_term
neg_float
neg_int
negated_predicate
plus_op
pos_args
pos_float
pos_int
pos_item
pow_factor
predicate
probabilistic_fact
probabilistic_rule
query
rule
signed_int_ext_identifier
sing_factor
sing_op
sing_term
start
statement
statement_function
term
text

argument(ast)

arguments(ast)

cmd_args(ast)

cmd_identifier(ast)

command(ast)

comparison(ast)

condition(ast)

conjunction(ast)

constant_predicate(ast)

constraint(ast)

div_term(ast)

existential_predicate(ast)

expressions(ast)

ext_identifier(ast)

fact(ast)

factor(ast)

head_predicate(ast)

id_application(ast)

identifier(ast)

identifier_regexp(ast)

keyword_args(ast)

keyword_item(ast)

lambda_application(ast)

lambda_expression(ast)

minus_op(ast)

minus_signed_id(ast)

mul_term(ast)

neg_float(ast)

neg_int(ast)

negated_predicate(ast)

plus_op(ast)

pos_args(ast)

pos_float(ast)

pos_int(ast)

pos_item(ast)

pow_factor(ast)

predicate(ast)

probabilistic_fact(ast)

probabilistic_rule(ast)

query(ast)

rule(ast)

signed_int_ext_identifier(ast)

sing_factor(ast)

sing_op(ast)

sing_term(ast)

start(ast)

statement(ast)

statement_function(ast)

term(ast)

text(ast)

class neurolang.frontend.datalog.standard_syntax.ExternalSymbol(name)

Bases: Symbol

Methods

__call__(*args, **kwargs)	Call self as a function.
apply(*args)	Builds a new expression using a tuple of its parameters
type
unapply()	Returns a tuple of parameters used to build the expression.

cast
change_type
fresh
get_wrapped_attribute

type = typing.Any

neurolang.frontend.datalog.standard_syntax.parser(code, locals=None, globals=None)