Tags: Programming 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.An example of a deductive language is Prolog or it’s database-query cousin Datalog.

Loading...

This page contains content from the copyrighted Wikipedia article "Deductive language"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.