<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type 01 Jan 1991Publisher:Springer Berlin Heidelberg

Authors: Nissim Francez; Oded Shmueli; Amir Rahat;

doi: 10.1007/bfb0018459

On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs

- Summary
- Metrics

Abstract

The paper considers a deferred substitution semantics for Logic Programs, in which both the composition of computed substitutions and their application to atoms in the current goal are deferred. This kind of semantics occurs in several interpreter optimization contexts: Prolog implementation optimization. Concurrent Logic Programs with committed choice. Distributed Logic Programs.

Related Organizations

Technion – Israel Institute of Technology
Israel

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!