Skip to content

Instantly share code, notes, and snippets.

@morxa
Created June 26, 2014 10:06
Show Gist options
  • Save morxa/9162dfc62261294621fd to your computer and use it in GitHub Desktop.
Save morxa/9162dfc62261294621fd to your computer and use it in GitHub Desktop.
Latex Listing PDDL Language Definition
\lst@definelanguage{pddl}
{
keywords={
define,
},
morekeywords={[2]
domain,
problem,
requirements,
predicates,
types,
objects,
action,
init,
goal,
},
morekeywords={[3]
parameters,
vars,
precondition,
effect,
},
morekeywords={[4]
forall,
or,
and,
not,
when,
=,
exists,
imply,
},
comment=[l]{\;},
sensitive=true
}[keywords, comments]
\lst@definelanguage[mapl]{pddl}[]{pddl}
{
morekeywords={[2]
sensor,
},
morekeywords={[3]
sense,
replan,
},
morekeywords={[4]
KIF,
},
}
@zeid
Copy link

zeid commented Jan 28, 2016

Hello, could we please have an example on how to use this. Thank you.
Edit: Found it, I have attached an example.
pddl_listing

@cherriyaki
Copy link

Hello, could we please have an example on how to use this. Thank you.
Edit: Found it, I have attached an example.
pddl_listing

Hi there:) I tried this method but it didn't compile for me

@david-alvarez-rosa
Copy link

Thanks man -- do you think this could be migrated to minted?

gpoore/minted#381

@morxa
Copy link
Author

morxa commented Dec 30, 2023

I don't know minted but feel free to take this and migrate it!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment