This paper investigates the relationships among logic languages, software reusability and software portability, with the perspective that if these three, almost orthogonal topics become synergistic, they will have an extremely positive impact on the software development process. More speci® cally, the discussion aims to demonstrate both that logic programs are more reusable and portable, even in extreme situations, and that, however, some problems still limit the e ective application of such reusable and portable logic paradigm. After a precise de® nition of the terms, this paper analyses the potential for reusability and of portability of programs written in logic languages, providing examples supporting the claims and giving evidences also of the opportunities available in the® eld of parallel programming. The limits of this approach are then outlined and discussed. Eventually the potentials for overcoming such limits are evidenced.
Succi G, Uhrik C, Ronchetti M (1996). Reusability and Portability of Logic Programming. JOURNAL OF PROGRAMMING LANGUAGES, 4, 101-114.
Reusability and Portability of Logic Programming
Succi G;
1996
Abstract
This paper investigates the relationships among logic languages, software reusability and software portability, with the perspective that if these three, almost orthogonal topics become synergistic, they will have an extremely positive impact on the software development process. More speci® cally, the discussion aims to demonstrate both that logic programs are more reusable and portable, even in extreme situations, and that, however, some problems still limit the e ective application of such reusable and portable logic paradigm. After a precise de® nition of the terms, this paper analyses the potential for reusability and of portability of programs written in logic languages, providing examples supporting the claims and giving evidences also of the opportunities available in the® eld of parallel programming. The limits of this approach are then outlined and discussed. Eventually the potentials for overcoming such limits are evidenced.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.