About: Deductive language

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Deductive language Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Language, within Data Space : el.dbpedia.org associated with source document(s)

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.

Attributes	Values
rdf:type	language
rdfs:label	Deductive language (en)
rdfs:comment	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. (en)
sameAs	Deductive language Deductive language
dbp:wikiPageUsesTemplate	dbt:No_footnotes
Subject	Programming languages
Link from a Wikipage to an external page	http://www.sciencedirect.com/science/article/pii/0743106690900309 https://apps.dtic.mil/dtic/tr/fulltext/u2/a459656.pdf http://www.doc.ic.ac.uk/~rak/papers/IFIP%2074.pdf http://www.doc.ic.ac.uk/~rak/papers/sl.pdf http://www.ai.sri.com/people/cordellgreen/
gold:hypernym	Language
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Deductive_language?oldid=991376728&ns=0
Wikipage page ID	6477222 (xsd:integer)
page length (characters) of wiki page	5324 (xsd:nonNegativeInteger)
Wikipage revision ID	991376728 (xsd:integer)
Link from a Wikipage to another Wikipage	Logic Logic programming Programming language Prolog Alain Colmerauer Programming languages Robert Kowalski Computer programming Cordell Green SRI International Database Datalog First-order logic Expert system Inference engine Type system Knowledge-based systems Knowledge base
has abstract	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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Deductive_language
is Wikipage redirect of	Deductive Language
is Link from a Wikipage to another Wikipage of	Claire (programming language) Deductive Language
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Deductive_language

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (82 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software