Create Problem instance from code about pddl.jl HOT 1 CLOSED

Hi! Currently the easiest way to do things is to write a PDDL file or string. Alternatively, you can construct an initial state by specifying the list of initial facts and object type declarations, e.g. for Blocksworld:

state = State(@pddl("(on-table a)", "(on b a)", "(on-table c)"),  @pddl("(block a)", "(block b)", "(block c)"))

You can specify goals using @pddl or @julog, depending on which syntax you prefer, e.g.

# Stack A on B on C
goals = @pddl("(on a b)", "(on b c)") # PDDL syntax
goals = @julog [on(a, b), on(b, c)] # Prolog-style syntax

from pddl.jl.