Deductive language
id:
deductive-language-276-6998727
title:
Deductive language
text:
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 its database-query cousin, Datalog.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Deductive_language
date created:
date modified:
2024-03-21T04:18:26Z
main entity:
{"identifier":"Q5249852","url":"https://www.wikidata.org/entity/Q5249852"}
image:
fields total:
13
integrity:
13