A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2012, Vol 3, Issue 10
Abstract
In order to obtain an understanding of parallel logic thought it is necessary to establish a fully abstract model of the denotational semantics of logic programming languages. In this paper, a fixed point semantics for the committed choice, non-deterministic family of parallel programming languages, i.e. the concurrent logic programming languages is developed. The approach is from an order theoretic viewpoint. We rigorously define a semantics for a Guarded Horn Clauses-type of language because of the minimal restrictions of the language. The extension to other concurrent logic programming languages would be direct and analogous, based on their specific rules of suspension. Today’s world is replete with multitasking and parallelism in general. The content of this paper reflects a paradigm of an application of multi-valued logic which is reflective of this.
Authors and Affiliations
Marion Ben-Jacob
A New Test Method on the Convergence and Divergence for Infinite Integral
The way to distinguish convergence or divergence of an infinite integral on non-negative continuous function is the important and difficult question in the mathematical teaching all the time. Using the comparison of inte...
Research on Islanding Detection of Grid-Connected System
This paper proposed a modified detection based on the point of common coupling (PCC) voltage in the three-phrase inverter, combined over/under frequency protection, to achieve the detection of islanding states rapidly. I...
Restructuring of System Analysis and Design Course with Agile Approach for Computer Engineering/Programming Departments
Today software plays an increasingly important and central role in every aspect of everyday life. The number, size, complexity and application areas of the programs developed continue to grow. Many software products have...
AL-S[sup]2[/sup]m: Soft road traffic Signs map for vehicular systems
In this paper, we describe AL-S[sup]2[/sup]m, a roadmap with traffic signs to be used in vehicular systems. AL-S[sup]2[/sup]m is part of a more general system of traffic signs (TSs) management, called AL-S[sup]2[/sup], w...
Performance Analysis of CPU Scheduling Algorithms with Novel OMDRRS Algorithm
CPU scheduling is one of the most primary and essential part of any operating system. It prioritizes processes to efficiently execute the user requests and help in choosing the appropriate process for execution. Round Ro...