Introduction to deCheem

What is deCheem?

deCheem is a logic programming framework that makes use of a declarative programming interface/language. It is designed to facilitate deductive thinking in business and philosophy, where juggling numerous overlapping statements and facts is required to reach a conclusion.

It can be seen as a cross-over between a method of automating Socratic sessions and a “pivot table” solution that works with unnormalised data. Another way to describe it would be to call it a method for “querying SQL queries”. Others might call it Venn diagrams for situations too complex to visualise.

deCheem databases consist of assertions about the world based on conditionals. The assertions excludes or includes certain situations in the world, which allows for conclusions to be drawn by iteration, starting from certain boundary conditions.

Please click on the Intro section below to learn more about the theory behind deCheem: