Implementing knowledgeable applications benefits from the ability to model problems on the knowledge level. In practice, this usually means engagement with the logical description of problems. However, when (crisp) logic ...