Struct Parser 

pub struct Parser<'a> { /* private fields */ }

Parser for Edinburgh Prolog syntax. Parses tokens into Terms and Clauses, with variable scoping per clause.

Implementations

impl<'a> Parser<'a>

pub fn parse_program( input: &str, interner: &mut StringInterner, ) -> Result<Vec<Clause>, String>

Parse a complete program (multiple clauses) from source text.

pub fn parse_query( input: &str, interner: &mut StringInterner, ) -> Result<Vec<Term>, String>

Parse a single query (goal list) from source text, e.g. “parent(tom, X)”. Does NOT require a trailing dot.

pub fn var_names(&self) -> &FnvHashMap<String, VarId>

Get the variable name map (for extracting query variable names in results).

pub fn parse_query_with_vars( input: &str, interner: &mut StringInterner, ) -> Result<(Vec<Term>, FnvHashMap<String, VarId>), String>

Parse a query and also return the variable name mapping.