Symbolic Front-end (jlnn.symbolic)

The symbolic module serves as an interface between declarative logic and the neural implementation. It contains tools for parsing textual formulas, compiling them into NNX modules, and integrating with graph libraries.

• Formula Parser
  • FormulaParser
  • LNN Grammar
• JLNN Compiler
  • BinaryGateNode
  • JLNNCompiler
  • LNNFormula
  • NAryGateNode
  • Node
  • PredicateNode
  • UnaryGateNode
  • Key Components:
• Graph & NetworkX Integration
  • build_networkx_graph()
  • from_networkx_to_jlnn()
  • get_node_attributes()
  • to_dot()
  • Export and Visualization
  • Import topology