A choice-point library for backtrack programming (1998)
Cached
Download Links
- [www.loria.fr]
- [www.loria.fr]
- [ftp.loria.fr]
- DBLP
Other Repositories/Bibliography
| Venue: | Proceedings of the JICSLP-98 Workshop on Implementation Technologies for Programming Languages based on Logic |
| Citations: | 7 - 2 self |
BibTeX
@INPROCEEDINGS{Moreau98achoice-point,
author = {Pierre-etienne Moreau},
title = {A choice-point library for backtrack programming},
booktitle = {Proceedings of the JICSLP-98 Workshop on Implementation Technologies for Programming Languages based on Logic},
year = {1998},
pages = {16--31}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend the C language to efficiently handle choice point management. Originally, these two functions were designed to compile the ELAN strategy language. However, they can be used by programmers for general programming in C. We illustrate their use by presenting the classical 8-queens problem and giving some experimental results. Algorithms and implementation techniques are sufficiently detailed to be easily modified and re-implemented. 1
