Creating Predicates

[g0dwyn]

I had this in the beginner's section but that might not be the right place for it. Here goes:

I'd like to be able to create boolean predicates. Not a boolean type, nor a function that returns a boolean - I just want to be able to create a predicate, which can be tested later.

For example, I want to be able to create a predicate (x == y), define x and y upon its creation WITHOUT actually testing to see if x==y, store the defined (x == y) in a structure, and then test it when it's called upon. If possible, I'd like to avoid creating a class to encapsulate it, but if there's no other way then I'll do it. Thanks in advance, let me know if you need additional clarification.