 Deductive language

A deductive language is a computer programming language in which the program is a collection of predicates ('facts') and rules that connect them.Such a language is used to create knowledge based systems or expert systems which can deduce answers to problem sets by applying the rules to the facts they have been given.