logic

Logic tries to represent the world as simple true/false facts and to reason about them with precisely defined operators. We may also use logic informally, indeed the prehistoric origins of logic may lie in the need to convince other people of things that seem intuitively obvious. In AI we make use of formal logics including logic representation of knowledge and the logic programming language Prolog.