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:

    An inquiry about the attitude towards the release of so-called political prisoners. I should be very sorry to see the United States holding anyone in confinement on account of any opinion that that person might hold. It is a fundamental tenet of our institutions that people have a right to believe what they want to believe and hold such opinions as they want to hold without having to answer to anyone for their private opinion.
    Calvin Coolidge (1872–1933)

    They say it’s worse to be ugly. I think it must only be different. If you’re pretty, you are subject to one set of assaults; if you’re plain you are subject to another.
    Alix Kates Shulman (b. 1932)

    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)

    Because language is the carrier of ideas, it is easy to believe that it should be very little else than such a carrier.
    Louise Bogan (1897–1970)