Syntax highlighting support for PDDL in the LaTeX listings package.
- Create
lstlang0.styin your texmf trees (if it does not already exist).- You can use either of
TEXMFLOCALorTEXMFHOMEas texmf trees.- To view the values of these variables, run
tlmgr conf.
- To view the values of these variables, run
- Place
lstlang0.styintexmf_tree_root/tex/latex/listings/.- For example,
${TEXMFHOME}/tex/latex/listings/lstlang0.sty.
- For example,
- You can use either of
- Clone this repository.
- Clone it into the same directory as
lstlang0.sty(texmf_tree_root/tex/latex/listings/).
- Clone it into the same directory as
- Include
lstlang-pddl.styinlstlang0.sty.- Add
to
\input{latex-listings-pddl/lstlang-pddl.sty}
lstlang0.sty.
- Add
- Create
lstlocal.cfg(if it does not already exist).- Place it into the same directory as
lstlang0.sty.
- Place it into the same directory as
- Set the default version of PDDL in the
lstlocal.cfg.- Add
to
\lstset{defaultdialect=[3.1]PDDL}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
- 1.2
- Add
- Include the
listingspackage in your LaTeX document.\usepackage{listings}
- Set the option
languageasPDDLin thelstlistingenvironment.- Example:
\begin{lstlisting}[language=PDDL] (define (domain example) ... ) \end{lstlisting}
- Example:
- You can specify a specific version of PDDL.
- Example:
\begin{lstlisting}[language={[2.1]PDDL}] (define (domain example) ... ) \end{lstlisting}
- To change the default version, see How to Set Up above.
- Example:
- You can also include PDDL source files similarly.
- Example:
\lstinputlisting[language={[2.2]PDDL}]{path/to/source/domain.pddl}
- Example:
- For more on the listings package, see here.
- 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