RobertSasak / Prolog-Planning-LibraryLinks
Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provide PDDL parser in Prolog. In addition we present few easy planners based on it.
☆19Updated 4 years ago
Alternatives and similar repositories for Prolog-Planning-Library
Users that are interested in Prolog-Planning-Library are comparing it to the libraries listed below
Sorting:
- Tarski - An AI Planning Modeling Framework☆71Updated last year
- PDDL+ planning through compilation to SMT☆47Updated 2 years ago
- Lab is a framework for evaluating planners and other solvers.☆34Updated this week
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- LAPKT public repository☆40Updated 7 months ago
- K* search based implementation of top-k and top-quality planners☆17Updated 2 weeks ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Port of Aleph to SWI-Prolog☆50Updated last year
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated 10 months ago
- 🗺️ ASP planning tools for PDDL☆29Updated 4 years ago
- LatPlan : A domain-independent, image-based classical planner☆87Updated 3 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- Experimentation framework for Popper☆23Updated 3 months ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- ☆40Updated 11 months ago
- The INVAL plan validator, and other PDDL tools.☆21Updated last year
- Qualitative Numeric Planning☆10Updated 4 years ago
- Translating HTN planning problems to PDDL☆21Updated 4 years ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆17Updated last year
- 🌍 PDDL instances covering the International Planning Competitions☆136Updated 4 years ago
- Your AI-Powered Personal Finance Assistant☆26Updated 3 months ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Updated 4 years ago
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- ☆32Updated last year
- Integration of the planning system Fast Downward with the unified-planning framework.☆12Updated 2 months ago
- A lightweight STRIPS planner written in Python.☆119Updated last year
- ☆17Updated last year
- FOND solver based on SAT☆14Updated 3 years ago
- A python framework for Optimal Planning Modulo Theories☆11Updated last year