“Planning Domain Definition Language” (Lisp; backlinks)