neurolang.frontend.datalog package

Module implementing datalog and natural-syntax datalog parsers.

Subpackages

• neurolang.frontend.datalog.sugar package
  • Column
    • Column.type
  • ConvertAttrSToSelectByColumn
    • ConvertAttrSToSelectByColumn.conversion()
    • ConvertAttrSToSelectByColumn.type
  • RecogniseSSugar
    • RecogniseSSugar.constant()
    • RecogniseSSugar.others()
    • RecogniseSSugar.s_sugar()
    • RecogniseSSugar.symbol()
    • RecogniseSSugar.type
  • SelectByFirstColumn
    • SelectByFirstColumn.type
  • TranslateColumnsToAtoms
    • TranslateColumnsToAtoms.application_column_sugar()
    • TranslateColumnsToAtoms.conjunction_column_sugar()
    • TranslateColumnsToAtoms.implication_column_sugar()
    • TranslateColumnsToAtoms.type
  • TranslateHeadConstantsToEqualities
    • TranslateHeadConstantsToEqualities.head_constants_to_equalities()
    • TranslateHeadConstantsToEqualities.type
  • TranslateProbabilisticQueryMixin
    • TranslateProbabilisticQueryMixin.conditional_query()
    • TranslateProbabilisticQueryMixin.rewrite_conditional_query()
    • TranslateProbabilisticQueryMixin.type
    • TranslateProbabilisticQueryMixin.within_language_prob_query()
  • TranslateQueryBasedProbabilisticFactMixin
    • TranslateQueryBasedProbabilisticFactMixin.query_based_probchoice_wannabe()
    • TranslateQueryBasedProbabilisticFactMixin.query_based_probfact_wannabe()
    • TranslateQueryBasedProbabilisticFactMixin.type
  • TranslateSSugarToSelectByColumn
    • TranslateSSugarToSelectByColumn.replace_s_getattr_by_first_column()
    • TranslateSSugarToSelectByColumn.type
  • TranslateSelectByFirstColumn
    • TranslateSelectByFirstColumn.application_column_sugar()
    • TranslateSelectByFirstColumn.conjunction_column_sugar()
    • TranslateSelectByFirstColumn.implication_column_sugar()
    • TranslateSelectByFirstColumn.implication_select_by_left_head()
    • TranslateSelectByFirstColumn.type
  • Subpackages
  • Submodules
    • neurolang.frontend.datalog.sugar.spatial module
      • DetectEuclideanDistanceBoundMatrix
      • TranslateEuclideanDistanceBoundMatrixMixin

Submodules

• neurolang.frontend.datalog.standard_syntax module
  • DatalogTransformer
    • DatalogTransformer.argument()
    • DatalogTransformer.arguments()
    • DatalogTransformer.cmd_args()
    • DatalogTransformer.cmd_identifier()
    • DatalogTransformer.command()
    • DatalogTransformer.comparison()
    • DatalogTransformer.condition()
    • DatalogTransformer.conjunction()
    • DatalogTransformer.constant_predicate()
    • DatalogTransformer.constraint()
    • DatalogTransformer.div_term()
    • DatalogTransformer.existential_predicate()
    • DatalogTransformer.expressions()
    • DatalogTransformer.ext_identifier()
    • DatalogTransformer.fact()
    • DatalogTransformer.factor()
    • DatalogTransformer.head_predicate()
    • DatalogTransformer.id_application()
    • DatalogTransformer.identifier()
    • DatalogTransformer.identifier_regexp()
    • DatalogTransformer.keyword_args()
    • DatalogTransformer.keyword_item()
    • DatalogTransformer.lambda_application()
    • DatalogTransformer.lambda_expression()
    • DatalogTransformer.minus_op()
    • DatalogTransformer.minus_signed_id()
    • DatalogTransformer.mul_term()
    • DatalogTransformer.neg_float()
    • DatalogTransformer.neg_int()
    • DatalogTransformer.negated_predicate()
    • DatalogTransformer.plus_op()
    • DatalogTransformer.pos_args()
    • DatalogTransformer.pos_float()
    • DatalogTransformer.pos_int()
    • DatalogTransformer.pos_item()
    • DatalogTransformer.pow_factor()
    • DatalogTransformer.predicate()
    • DatalogTransformer.probabilistic_fact()
    • DatalogTransformer.probabilistic_rule()
    • DatalogTransformer.query()
    • DatalogTransformer.rule()
    • DatalogTransformer.signed_int_ext_identifier()
    • DatalogTransformer.sing_factor()
    • DatalogTransformer.sing_op()
    • DatalogTransformer.sing_term()
    • DatalogTransformer.start()
    • DatalogTransformer.statement()
    • DatalogTransformer.statement_function()
    • DatalogTransformer.term()
    • DatalogTransformer.text()
  • ExternalSymbol
    • ExternalSymbol.type
  • parser()
• neurolang.frontend.datalog.syntax_preprocessing module
  • ProbFol2DatalogMixin
    • ProbFol2DatalogMixin.translate_implication()
    • ProbFol2DatalogMixin.translate_marg_query()
    • ProbFol2DatalogMixin.type