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
Keywords
Related Articles
- EP ID EP140625
- DOI -
- Views 120
- Downloads 0
Predictive Approach towards Software Effort Estimation using Evolutionary Support Vector Machine
The project effort measurement is one of the most important estimates done in project management domain. This measure is done in advance using some traditional methods like Function Point analysis, Use case analysis, PER...
Question Answering Systems: A Review on Present Developments, Challenges and Trends
Question Answering Systems (QAS) are becoming a model for the future of web search. In this paper we present a study of the latest research in this area. We collected publications from top conferences and journals on inf...
A Proposed Quantitative Conceptual Model for the Assessment of Patient Clinical Outcome
The assessment of patient clinical outcome focuses on measuring various aspects of the patient’s health status after medical treatments and interventions. Patient clinical outcome assessment is a major concern in the cli...
Face Recognition using SIFT Key with Optimal Features Selection Model
Facial expression is complex in nature due to legion of variations present. These variations are identified and recorded using feature extraction mechanisms. The researchers have worked towards it and created classifiers...
Building Low Cost Cloud Computing Systems
The actual models of cloud computing are based in megalomaniac hardware solutions, being its implementation and maintenance unaffordable to the majority of service providers. The use of jail services is an alternative to...