QD-Janus: A sequential implementation of Janus in Prolog
Author:
- 1 December 1993
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 23 (12) , 1337-1360
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The family of concurrent logic programming languagesACM Computing Surveys, 1989
- Specialisation of Prolog and FCP programs using abstract interpretationNew Generation Computing, 1988