Deductive language

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 problems set them 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.




Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Deductive reasoning — Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises or hypotheses. A deductive… …   Wikipedia

  • Language, Truth, and Logic — is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was only 26 (though it was in fact completed by age 24). It was crucial in bringing some of the ideas of the Vienna Circle and the logical empiricists to the attention of… …   Wikipedia

  • Deductive system — A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.[1] Such a deductive system is intended to preserve… …   Wikipedia

  • Deductive database — It is a database system which can make deductions (i.e.: conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases.… …   Wikipedia

  • Deductive-nomological model — The deductive nomological model (or D N model) is a formalized[citation needed] view of scientific explanation in natural language. It characterizes scientific explanations primarily as deductive arguments with at least one natural law statement… …   Wikipedia

  • Deductive-nomological — The deductive nomological (or D N) model is a formalized view of scientific explanation in natural language. It characterizes scientific explanations primarily as deductive arguments with at least one natural law statement among its premises.… …   Wikipedia

  • Hadiyya language — language name=Hadiyya region=Ethiopia: speakers=923,958 (1994) familycolor=Afro Asiatic fam2=Cushitic fam3=East fam4=Highland iso2=|iso3=hdyHadiya (sometimes Hadiyigna or Adiya ) is the Afro Asiatic language of the Hadiya people of Ethiopia. Most …   Wikipedia

  • Glossary of language teaching terms and ideas — Like every other course of study, language teaching requires specialized vocabulary and word use. This list is a glossary for English language learning and teaching using the increasingly popular communicative approach. Accuracy Burnout •… …   Wikipedia

  • Planner (programming language) — Planner (often seen in publications as PLANNER although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro Planner and Pico Planner were implemented, and then… …   Wikipedia

  • Ontology language — In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”