PDDL.jl

A extensible and performant interface for symbolic planning domains specified in the Planning Domain Definition Language (PDDL), with support for PDDL parsing, interpretation, and compilation.

Features

• Parsing and writing of PDDL domain and problem files
• A high-level symbolic planning API for use by algorithms and applications
• Execution of PDDL actions and plans
• Abstract interpretation of PDDL semantics
• Domain grounding and compilation for increased performance
• Semantic extensibility through modular theories

PDDL.jl does not include any planning algorithms. Rather, it provides an interface so that planners for PDDL domains can easily be written, as in SymbolicPlanners.jl.

Tutorials

Learn how to install and use PDDL.jl by following these tutorials:

• Getting Started
• Writing Planners
• Speeding Up PDDL.jl

Architecture and Interface

Learn about the architecture of PDDL.jl, its high-level interface for symbolic planning, and the built-in implementations of this interface:

• Architecture Overview
• Concepts and Data Types
• Interface Functions
• Parser and Writer
• Interpreter
• Compiler
• Abstract Interpretation
• Extension Interfaces
• Utilities