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)
“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)
“The writer’s language is to some degree the product of his own action; he is both the historian and the agent of his own language.”
—Paul De Man (1919–1983)