Unary predicates implemented

- finally predicates declaration and use is working
- still to implement predicates instantiation from kb (not from builder)
- some testing is needed