Finding the least fixed point using wait-declarations in Prolog
- 19 November 2005
- book chapter
- Published by Springer Nature
- p. 151-158
- https://doi.org/10.1007/bfb0024182
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A logic programming language based on the Andorra modelNew Generation Computing, 1990