in reply to Who's a thief? -- the follow up
In short, to fully enjoy the First Order Predicate Calculus in pure Perl involves writing an NFA regex engine that operates on data structures instead of strings.If you don't want to roll your own non-deterministic operators, you might want to use the ones provided by Quantum::Superpositions. Using that module would probably go a long way towards making your problem much more straight forward.
-- All code is 100% tested and functional unless otherwise noted.
In Section
Meditations