PDDL Parser

Parser for PDDL (Planning Domain Definition Language) files.

Usage

Add this to your Cargo.toml:

pddl-parser = "0.1.0"

Example

use pddl_parser::domain::Domain;

fn main() {
    let domain_file = include_str!("../tests/domain.pddl");
    let domain = Domain::parse(domain_file);
    domain.predicates.iter().for_each(|p| println!("{:?}", p.name));
}

PDDL Requirements supported

• :strips
• :typing
• :equality
• :fluents
• :adl
• :durative-actions
• :derived-predicates
• :numeric-fluents
• :preferences
• :constraints
• :action-costs
• :conditional-effects
• :probabilistic-effects
• :reward-effects

Contributing

TODO

• Parsing:

  • Support PDDL domain parsing
  • Support PDDL problem parsing
  • Support PDDL plan parsing

• PDDL Features

  • Better support for types (assign types to variables, etc.)

• Testing:

  • Add tests for all PDDL files in pddl-instances

• Error handling:

  • Custom errors (using thiserror)
  • Forbid unwrap
  • Check that all of the input has been consumed

• Documentation:

  • Add documentation for all public items