Live briefing
Everything about 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. An example of a deductive language is Prolog, or its database-query cousin, Datalog. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Deductive languageA 5-minute orientation
- Skim a recent paper: Generating Proof Certificates for a Language-Agnostic Deductive Program VerifierInfluential work since 2022
- Pick up a classic book: Verification, Model Checking, and Abstract InterpretationThe most-reprinted book on the subject
- Read the landmark paper: The boundaries of language and thought in deductive inferenceCited 149 times
- Go sideways: Logic programmingA closely related topic
- Go sideways: Planner (programming language)A closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
The boundaries of language and thought in deductive inference
Functional neuroanatomy of deductive inference: A language-independent distributed network
OWL-QL—a language for deductive query answering on the Semantic Web
Towards a deductive object-oriented database language
System Description: Delphin – A Functional Programming Language for Deductive Systems
INDUCTIVE METHOD AND DEDUCTIVE METHOD IN LANGUAGE TEACHING: A RE-EXAMINATION
ROL: A deductive object base language
A deductive probabilistic and fuzzy object-oriented database language
🆕 Influential since 2022
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Exploring the reversal curse and other deductive logical reasoning in BERT and GPT-based large language models
Automatic Deductive Coding in Discourse Analysis: An Application of Large Language Models in Learning Analytics
Assessing the Reliability of Large Language Models for Deductive Qualitative Coding: A Comparative Intervention Study with ChatGPT
Developing and evaluating human-led and large language model–assisted hybrid deductive–inductive workflows for qualitative analysis
đź“š Books worth reading
Verification, Model Checking, and Abstract InterpretationKedar S. Namjoshi, Andreas Podelski · 2005
Datalog in Academia and IndustryPablo Barceló · 2012
De l'idée au texteBarbara Minto · 1993
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Logic programming Logic programming is a programming, database, and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical…
- 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…
- Declarative programming In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without fully describing its control flow…
- Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog…
- Robert Kowalski Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-orient…
- Reasoning system In information technology a reasoning system is a software system that generates conclusions from available knowledge using logical techniques such as…
- Outline of logic Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic…
- First-order logic In mathematics, philosophy, linguistics, and computer science, first-order logic (FOL), also called predicate logic, predicate calculus, or quantificational…