Answer Set Programming - Answer Set Programming Language AnsProlog

Answer Set Programming Language AnsProlog

Lparse is the name of the program that was originally created as grounding tool (front-end) for the answer set solver smodels. The language that Lparse accepts is now commonly called AnsProlog*, short for Answer Set Programming in Logic. It is now used in the same way in many other answer set solvers, including assat, clasp, cmodels, gNt, nomore++ and pbmodels. (dlv is an exception; the syntax of ASP programs written for dlv is somewhat different.)

An AnsProlog program consists of rules of the form

Read more about this topic:  Answer Set Programming

Famous quotes containing the words answer, set, programming and/or language:

    The secret of heaven is kept from age to age. No imprudent, no sociable angel ever dropt an early syllable to answer the longings of saints, the fears of mortals. We should have listened on our knees to any favorite, who, by stricter obedience, had brought his thoughts into parallelism with the celestial currents, and could hint to human ears the scenery and circumstance of the newly parted soul.
    Ralph Waldo Emerson (1803–1882)

    Euclid alone
    Has looked on Beauty bare. Fortunate they
    Who, though once only and then but far away,
    Have heard her massive sandal set on stone.
    Edna St. Vincent Millay (1892–1950)

    If there is a price to pay for the privilege of spending the early years of child rearing in the driver’s seat, it is our reluctance, our inability, to tolerate being demoted to the backseat. Spurred by our success in programming our children during the preschool years, we may find it difficult to forgo in later states the level of control that once afforded us so much satisfaction.
    Melinda M. Marshall (20th century)

    Poetry is the universal language which the heart holds with nature and itself. He who has a contempt for poetry, cannot have much respect for himself, or for anything else.
    William Hazlitt (1778–1830)