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:

    So Orpheus did for his owne bride,
    So I unto my selfe alone will sing,
    The woods shall to me answer and my Eccho ring.
    Edmund Spenser (1552?–1599)

    The sun set; but set not his hope:
    Stars rose; his faith was earlier up:
    Fixed on the enormous galaxy,
    Deeper and older seemed his eye:
    And matched his sufferance sublime
    The taciturnity of time.
    Ralph Waldo Emerson (1803–1882)

    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)

    There is ... in every child a painstaking teacher, so skilful that he obtains identical results in all children in all parts of the world. The only language men ever speak perfectly is the one they learn in babyhood, when no one can teach them anything!
    Maria Montessori (1870–1952)