Declarative Encoding of Natural and Syllogistic Logics