neurolang.expressions

Expressions for the intermediate representation and auxiliary functions.

Functions

expressions_behave_as_objects()
infer_type(value[, deep])
op_bind(op)
rop_bind(op)
sure_is_not_pattern()
sure_is_not_pattern_()
type_validation_value(value, type_)

Classes

Command(name, args, kwargs)	Methods
Constant(value[, auto_infer_type, verify_type])	Methods
Definition(*args, **kwargs)	Parent class for all composite operations.
Expression(*args, **kwargs)	Methods
ExpressionBlock(expressions)	Methods
ExpressionMeta(*args, **kwargs)	Metaclass for expressions.
FunctionApplication(functor, args[, kwargs, ...])	Attributes:
Lambda(args, function_expression)	Methods
NonConstant(*args, **kwargs)	Any expression which is not a constant.
ParametricTypeClassMeta(name, bases, ...)	Methods
Projection(collection, item[, ...])	Methods
Query(head, body)	Methods
Statement(lhs, rhs)	Methods
Symbol(name)	Symbol of a certain type.
TypedSymbolTableMixin([symbol_table])	Add capabilities to deal with a symbol table.
c	alias of Query