Module import 

Logic Expression Import

This module provides parsers for importing logic expressions from various external logic frameworks and formats.

Supported Formats

• Prolog: Standard Prolog syntax with predicates, conjunctions, disjunctions
• S-Expression: Lisp-like S-expression format for nested logic
• TPTP: TPTP (Thousands of Problems for Theorem Provers) format

Examples

use tensorlogic_compiler::import::prolog::parse_prolog;

// Parse Prolog-style rule
let expr = parse_prolog("mortal(X) :- human(X).").unwrap();

use tensorlogic_compiler::import::sexpr::parse_sexpr;

// Parse S-expression
let expr = parse_sexpr("(forall x (=> (human x) (mortal x)))").unwrap();

Re-exports

pub use prolog::parse_prolog;

pub use sexpr::parse_sexpr;

pub use tptp::parse_tptp;

Modules

prolog

Prolog Syntax Parser

sexpr

S-Expression Parser

tptp

TPTP Format Parser

Functions

parse_auto

Auto-detect format and parse logic expression