Eigentlich will ich kein System für "Logic Programming" sondern nur ein praktisches Konstrukt, dass mir das entwirren komplexer Datenstrukturen einfacher macht -- so eine Art reguläre Ausdrucksmaschine für Datenstrukturen. Einige funktionale Programmiersprachen haben so etwas standardmäßig (z.B. Haskell, Clean, SML).