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 104
- Downloads 0
Devising a Secure Architecture of Internet of Everything (IoE) to Avoid the Data Exploitation in Cross Culture Communications
The communication infrastructure among various interconnected devices has revolutionized the process of collecting and sharing information. This evolutionary paradigm of collecting, storing and analyzing data streams is...
Core Levels Algorithm for Optimization: Case of Microwave Models
Metaheuristic algorithms are investigated and used by many researchers in different areas. It is crucial to find optimal solutions for all problems under study especially for the ones which require sensitive optimization...
An Analysis of Cloud Computing Adoption Framework for Iraqi e-Government
This paper presents an analysis of the factors which could have possible affect over the adoption of cloud computing via the Iraqi e-government. A conceptual framework model for cloud computing within Iraqi e-government...
Reasoning Method on Knowledge about Functions and Operators
In artificial intelligence, there are many methods for knowledge representation. One of the effective models is the Computational Object Knowledge Base model (COKB model), which can be used to represent the total knowled...
GDPI: Signature based Deep Packet Inspection using GPUs
Deep Packet Inspection (DPI) is necessitated for many networked application systems in order to prevent from cyber threats. The signature based Network Intrusion and etection System (NIDS) works on packet inspection and...