Search and imperative programming
- 1 January 1997
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
We augment the expressive power of imperative programming in order to make it a moreattractive vehicle for problems that involve search. The proposed additions are limited yetpowerful and are inspired by the logic programming paradigm. We illustrate their use bypresenting solutions to a number of classical problems, including the straight search problem,the knapsack problem, and the 8 queens problem. These solutions are substantially simplerthan their counterparts written in the...Keywords
This publication has 0 references indexed in Scilit: