Deriving a compilation method for parallel logic languages
It is already known that a Concurrent Prolog program can be compiled into an equivalent Prolog program. Using a Concurrent Prolog interpreter written in Prolog, we converted Concurrent Prolog programs step by step to compiled codes in Prolog. Each conversion step was successfully executed on a Prolog language processor. We examined how each conversion step contributed to performance improvement, using sample Concurrent Prolog programs such as a meta interpreter.
KeywordsSchedule Strategy Horn Clause Prolog Program Conversion Step Candidate Clause
Unable to display preview. Download preview PDF.
- Hirsch, M., Silverman, W. and Shapiro, E., Layers of Protection and Control in the Logix System, CS86-19, Weizmann Instit., 1986Google Scholar
- Kursawe, P., How to Invent a Prolog Machine, in Proc. of 3rd Inter. Conf. on Logic Prog., 1986, pp. 134–148Google Scholar
- Shapiro, E., A Subset of Concurrent Prolog and Its Interpreter, Tech. rep. TR-003, ICOT, 1983Google Scholar
- Ueda, K., and Chikayama, T., Concurrent Prolog Compiler on Top of Prolog, in Proc. of Symp. on Logic Prog., 1985, pp. 119–126Google Scholar