for example, I am attempting to develop a rules-based system that can be used as a possible backend of a socket connection for business logic.

I think the hardest part of mating logical formalism with Perl is that rules systems (ie, Prolog) have a built in search engine and a different means of using variables.