What does logic programming mean?
Definitions for logic programming
logic pro·gram·ming
This dictionary definitions page includes all the possible meanings, example usage and translations of the word logic programming.
Princeton's WordNet
Prolog, logic programing, logic programmingnoun
a computer language designed in Europe to support natural language processing
logic programming, logic programingnoun
creating a program that enables the computer to reason logically
ChatGPT
logic programming
Logic programming is a programming paradigm in which computation is performed through a series of logical inferences based on certain facts or rules. It is based on formal logic, and its main categories include Prolog, Datalog, and Answer Set Programming. The program's structure is dominated by implication and often uses a variant of Horn clauses. The main work of the programmer involves stating problems and the solution is then achieved by the system.
Wikidata
Logic programming
Logic programming is one of the 4 main programming paradigms. Its theory of computation is based on first order logic. Programming languages such as Prolog and Datalog implement it. A form of logical sentences commonly found in logic programming, but not exclusively, is the Horn clause. An example is: Some logic programming languages accept other logical sentences, such as the "choice" sentence in answer set programming. Logical sentences can be understood purely declaratively. They can also be understood procedurally as goal-reduction procedures : to solve p, first solve q, then solve r. The programmer can use the declarative reading of logic programs to verify their correctness. In addition, the programmer can use the known behaviour of the program executor to develop a procedural understanding of his program. This may be helpful when seeking better execution speed. However, many logically-based program transformation techniques have been developed to transform logic programs automatically and make them efficient.
Matched Categories
Numerology
Chaldean Numerology
The numerical value of logic programming in Chaldean Numerology is: 3
Pythagorean Numerology
The numerical value of logic programming in Pythagorean Numerology is: 6
Translation
Find a translation for the logic programming definition in other languages:
Select another language:
- - Select -
- 简体中文 (Chinese - Simplified)
- 繁體中文 (Chinese - Traditional)
- Español (Spanish)
- Esperanto (Esperanto)
- 日本語 (Japanese)
- Português (Portuguese)
- Deutsch (German)
- العربية (Arabic)
- Français (French)
- Русский (Russian)
- ಕನ್ನಡ (Kannada)
- 한국어 (Korean)
- עברית (Hebrew)
- Gaeilge (Irish)
- Українська (Ukrainian)
- اردو (Urdu)
- Magyar (Hungarian)
- मानक हिन्दी (Hindi)
- Indonesia (Indonesian)
- Italiano (Italian)
- தமிழ் (Tamil)
- Türkçe (Turkish)
- తెలుగు (Telugu)
- ภาษาไทย (Thai)
- Tiếng Việt (Vietnamese)
- Čeština (Czech)
- Polski (Polish)
- Bahasa Indonesia (Indonesian)
- Românește (Romanian)
- Nederlands (Dutch)
- Ελληνικά (Greek)
- Latinum (Latin)
- Svenska (Swedish)
- Dansk (Danish)
- Suomi (Finnish)
- فارسی (Persian)
- ייִדיש (Yiddish)
- հայերեն (Armenian)
- Norsk (Norwegian)
- English (English)
Word of the Day
Would you like us to send you a FREE new word definition delivered to your inbox daily?
Citation
Use the citation below to add this definition to your bibliography:
Style:MLAChicagoAPA
"logic programming." Definitions.net. STANDS4 LLC, 2024. Web. 25 Apr. 2024. <https://www.definitions.net/definition/logic+programming>.
Discuss these logic programming definitions with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In