The current version of pack logtalk does not contain a file logtalk-3.25.0/contributions/pddl_parser/ipc2008-no-cybersec/seq-sat/pegsol-strips/p09.pddl
logtalk
logtalk-3.25.0/contributions/pddl_parser/ipc2008-no-cybersec/seq-sat/pegsol-strips/p09.pddl