Answer set programming
Programming paradigm focused on difficult search problems
Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming.
Nº Q2852531 ★
Common · Knowledge
Answer set programming
Programming paradigm focused on difficult search problems
Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming.
From Wikipedia
Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers—programs for generating stable models—are used to perform search. The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop). In a more general sense, ASP includes all applications of answer sets to knowledge representation and reasoning and the use of Prolog-style query evaluation for solving problems arising in these applications.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
Logic programming
Programming paradigm based on formal logic
Nº Q275603 ★★
Not listed
-
A
Aspect-oriented programming
Programming paradigm
Nº Q30267 ★★
Not listed
-
Low-level programming language
Programming language that provides minimal abstraction from the hardware
Nº Q558937 ★★
Not listed
-
A
Approximate string matching
Algorithm for finding strings that match a pattern approximately
Nº Q1798621 ★★
Not listed
-
3-SAT
Special case of the Boolean satisfiablility problem in conjunctive normal form where each clause has ≤3 literals
Nº Q339688 ★
Not listed
-
L
Literate programming
Programming paradigm
Nº Q607703 ★★
Not listed