20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

DLV: DLV LCD, Logic Programming, Algebraic Logic Functional Programming Language -

English
2026-03-26
€156.58 €195.73

-20% with code BOOKS

In stock at our supplier

Shipping in 15-21 days

30-day return policy

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The abbreviation DLV is sometimes used for computer displays, see DLV LCD for more information. The DLV system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm. It extends the datalog language to allow the ... Full description

You May Also Like

Description

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The abbreviation DLV is sometimes used for computer displays, see DLV LCD for more information. The DLV system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm. It extends the datalog language to allow the use of OR in rules. The tutorial page gives a simple example modeling some laughing when told a joke. Since the value of joke is not indicated as true in the second program it is assumed to be false.

More Information

Publisher OmniScriptum
Release year 2026
Cover type Softcover
EAN 9786133155916
Write Your Own Review
You're reviewing: DLV: DLV LCD, Logic Programming, Algebraic Logic Functional Programming Language
Your Rating:

Goodreads Reviews

€156.58 €195.73