Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/conjikidow/latex-listings-pddl
Syntax highlighting support for PDDL in the LaTeX listings package
https://github.com/conjikidow/latex-listings-pddl
latex listings pddl syntax-highlighting
Last synced: 26 days ago
JSON representation
Syntax highlighting support for PDDL in the LaTeX listings package
- Host: GitHub
- URL: https://github.com/conjikidow/latex-listings-pddl
- Owner: conjikidow
- License: lppl-1.3c
- Created: 2024-02-16T01:44:56.000Z (11 months ago)
- Default Branch: main
- Last Pushed: 2024-05-01T14:52:58.000Z (8 months ago)
- Last Synced: 2024-10-25T02:45:37.300Z (2 months ago)
- Topics: latex, listings, pddl, syntax-highlighting
- Language: TeX
- Homepage:
- Size: 30.3 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# latex-listings-pddl
Syntax highlighting support for PDDL in the LaTeX listings package.
## How to Set Up
1. Create `lstlang0.sty` in your texmf trees (if it does not already exist).
- You can use either of `TEXMFLOCAL` or `TEXMFHOME` as texmf trees.
- To view the values of these variables, run `tlmgr conf`.
- Place `lstlang0.sty` in `texmf_tree_root/tex/latex/listings/`.
- For example, `${TEXMFHOME}/tex/latex/listings/lstlang0.sty`.
2. Clone this repository.
- Clone it into the same directory as `lstlang0.sty` (`texmf_tree_root/tex/latex/listings/`).
3. Include [`lstlang-pddl.sty`](lstlang-pddl.sty) in `lstlang0.sty`.
- Add
```latex
\input{latex-listings-pddl/lstlang-pddl.sty}
```
to `lstlang0.sty`.
4. Create `lstlocal.cfg` (if it does not already exist).
- Place it into the same directory as `lstlang0.sty`.
5. Set the default version of PDDL in the `lstlocal.cfg`.
- Add
```latex
\lstset{defaultdialect=[3.1]PDDL}
```
to `lstlocal.cfg`.
- Available PDDL versions are:
- 1.2
- Note that some features of PDDL1.2 are not supported, as they are rarely used.
- 2.1
- 2.2
- 3.0
- 3.1
## How to Use
- Include the `listings` package in your LaTeX document.
```latex
\usepackage{listings}
```
- Set the option `language` as `PDDL` in the `lstlisting` environment.
- Example:
```latex
\begin{lstlisting}[language=PDDL]
(define (domain example)
...
)
\end{lstlisting}
```
- You can specify a specific version of PDDL.
- Example:
```latex
\begin{lstlisting}[language={[2.1]PDDL}]
(define (domain example)
...
)
\end{lstlisting}
```
- To change the default version, see [How to Set Up](#how-to-set-up) above.
- You can also include PDDL source files similarly.
- Example:
```latex
\lstinputlisting[language={[2.2]PDDL}]{path/to/source/domain.pddl}
```
- For more on the listings package, see [here](https://ctan.org/pkg/listings).
## References
- McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., and Wilkins, D. (1998). PDDL - The Planning Domain Definition Language. https://www.researchgate.net/publication/2278933_PDDL_-_The_Planning_Domain_Definition_Language
- Fox, M. and Long, D. (2003). PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. _Journal of Artificial Intelligence Research_, 20, 61–124. https://doi.org/10.1613/jair.1129
- Edelkamp, S. and Hoffmann, J. (2004). PDDL2.2: The Language for the Classical Part of the 4th International Planning Competition. University of Freiburg. Baden-Württemberg, Germany. https://courses.cs.washington.edu/courses/cse473/06sp/pddl2.2.pdf
- Gerevini, A. and Long, D. (2005). BNF Description of PDDL3.0. https://ipc06.icaps-conference.org/deterministic/bnf.pdf
- Kovacs, D. L. (2011). Complete BNF description of PDDL3.1. http://www.plg.inf.uc3m.es/ipc2011-deterministic/attachments/Resources/kovacs-pddl-3.1-2011.pdf
- Helmert, M., and Haslum, P. (2011). Changes in PDDL 3.1. IPC-2008, Deterministic Part. https://ipc08.icaps-conference.org/deterministic/PddlExtension.html