Found an issue? Give us feedback

https://doi.org/10.1...arrow_drop_down

https://doi.org/10.1145/96877....

Article . 1990 . Peer-reviewed

Data sources: Crossref

https://dblp.uni-trier.de/db/c...

Article

Data sources: Microsoft Academic Graph

Select content type to embed

All Research products

arrow_drop_down

<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

Dataflow for logic program as substitution manipulator

Name: Dataflow for logic program as substitution manipulator
Creator: Susumu Yamasaki
Keywords: 0102 computer and information sciences, 0101 mathematics, 16. Peace & justice, 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article 01 Jul 1990Publisher:ACMJournal:Proceedings of the international symposium on Symbolic and algebraic computation

Authors: Susumu Yamasaki;

doi: 10.1145/96877.96892

Dataflow for logic program as substitution manipulator

- Summary
- Metrics

Abstract

This paper shows a method of constructing a dataflow, which denotes the deductions of a logic program, by means of a sequence domain based on equivalence classes of substitutions. The dataflow involves fair merge functions to represent unions of atom subsets over a sequence domain, as well as functions as manipulations of unifiers for the deductions of clauses. A continuous functional is associated with the dataflow on condition that the dataflow completely and soundly denotes the atom generation in terms of equivalent substitutions sets. Its least fixpoint is interpreted as denoting the whole atom generation based on manipulations of equivalent substitutions sets.

Related Organizations

Okayama University
Japan

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