Arguably all AI reasoning uses Boolean logic , however in some systems, this is more up-front and part of the high-level representation. Typically logic rules have to be relatively simple to be capable of fully automated reasoning, for example Prolog uses Horn clauses and in the semantic web there are more or less tractable variants of OWL.