neurolang.frontend.datalog.syntax_preprocessing module¶

class neurolang.frontend.datalog.syntax_preprocessing.ProbFol2DatalogMixin(*args, **kwargs)¶

Bases: PatternWalker

Mixin to translate first order logic expressions to datalog expressions, including MARG queries

Attributes:

patterns: Property holding an iterator of triplets (pattern, guard, action).

Methods

`match`(expression)	Find the action for a given expression by going through the `patterns`.
`pattern_match`(pattern, expression)	Return `True` if `pattern` matches `expression`.
`type`

pattern_match_expression
pattern_match_expression_parameters
pattern_match_expression_tuple
pattern_match_tuple
translate_implication
translate_marg_query
walk