A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic

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,...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:International journal of advanced computer science & applications Ročník 3; číslo 10
Hlavný autor: Glazerman, Marion
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: West Yorkshire Science and Information (SAI) Organization Limited 01.01.2012
Predmet:
Logic programming
Multitasking
Multivalued logic
Parallel programming
Programming languages
Semantics
ISSN:2158-107X, 2156-5570
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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.
AbstractList 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.
Author Glazerman, Marion
Author_xml – sequence: 1
  givenname: Marion
  surname: Glazerman
  fullname: Glazerman, Marion
BookMark eNotkM1OwzAQhC0EEqX0CbhY4pyytmOnOYaIn6IgkEoRN8tx7ShVYhc7OfD2hJa57Gg0uyt9V-jceWcQuiGwJCkX-d36pSg3xZICoUtgBICeoRklXCScZ3B-9KuEQPZ1iRYx7mESy6lYsRnaFnhjeuWGVkdsfcCld3oMwbgBV75pNX4Pvgmq71vX4Eq5ZlSNifheRbPD3uHXsRvaQ2eST9WNU3RcukYXVnXRLP7nHG0fHz7K56R6e1qXRZVoCnRIrK2NoHVuas1SZpkCw-od5AYYcM0syVNLWVbrVJiMEZ2vgDNBdMqtroXesTm6Pd09BP89mjjIvR-Dm15KKrjIaAY0m1rs1NLBxxiMlYfQ9ir8SALyiFCeEMo_hPKEkP0CDu9l0Q
ContentType Journal Article
Copyright 2012. This work is licensed under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2012. This work is licensed under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID AAYXX
CITATION
3V.
7XB
8FE
8FG
8FK
8G5
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
GNUQQ
GUQSH
HCIFZ
JQ2
K7-
M2O
MBDVC
P5Z
P62
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
Q9U
DOI 10.14569/IJACSA.2012.031002
DatabaseName CrossRef
ProQuest Central (Corporate)
ProQuest Central (purchase pre-March 2016)
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Research Library
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials - QC
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central
ProQuest Central Student
ProQuest Research Library
SciTech Collection (ProQuest)
ProQuest Computer Science Collection
Computer Science Database
Research Library (ProQuest)
Research Library (Corporate)
AAdvanced Technologies & Aerospace Database (subscription)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
ProQuest Central Basic
DatabaseTitle CrossRef
Publicly Available Content Database
Research Library Prep
Computer Science Database
ProQuest Central Student
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
Research Library (Alumni Edition)
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Central Korea
ProQuest Research Library
ProQuest Central (New)
Advanced Technologies & Aerospace Collection
ProQuest Central Basic
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest SciTech Collection
Advanced Technologies & Aerospace Database
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest One Academic (New)
ProQuest Central (Alumni)
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2156-5570
ExternalDocumentID 10_14569_IJACSA_2012_031002
GroupedDBID .DC
5VS
8G5
AAYXX
ABUWG
ADMLS
AFFHD
AFKRA
ALMA_UNASSIGNED_HOLDINGS
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
CITATION
DWQXO
EBS
EJD
GNUQQ
GUQSH
HCIFZ
K7-
KQ8
M2O
OK1
PHGZM
PHGZT
PIMPY
PQGLB
RNS
3V.
7XB
8FE
8FG
8FK
JQ2
MBDVC
P62
PKEHL
PQEST
PQQKQ
PQUKI
PRINS
Q9U
ID FETCH-LOGICAL-c202t-ffbe62b9ebc343f3a0e3bd09e0305c3f194f237bc46e731c9805361c45fcb6cd3
IEDL.DBID K7-
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000219139700003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2158-107X
IngestDate Sun Nov 09 07:26:24 EST 2025
Sat Nov 29 06:19:45 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Issue 10
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c202t-ffbe62b9ebc343f3a0e3bd09e0305c3f194f237bc46e731c9805361c45fcb6cd3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
OpenAccessLink https://www.proquest.com/docview/2656727027?pq-origsite=%requestingapplication%
PQID 2656727027
PQPubID 5444811
ParticipantIDs proquest_journals_2656727027
crossref_primary_10_14569_IJACSA_2012_031002
PublicationCentury 2000
PublicationDate 20120101
PublicationDateYYYYMMDD 2012-01-01
PublicationDate_xml – month: 01
  year: 2012
  text: 20120101
  day: 01
PublicationDecade 2010
PublicationPlace West Yorkshire
PublicationPlace_xml – name: West Yorkshire
PublicationTitle International journal of advanced computer science & applications
PublicationYear 2012
Publisher Science and Information (SAI) Organization Limited
Publisher_xml – name: Science and Information (SAI) Organization Limited
SSID ssj0000392683
Score 1.7843293
Snippet 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...
SourceID proquest
crossref
SourceType Aggregation Database
Index Database
SubjectTerms Logic programming
Multitasking
Multivalued logic
Parallel programming
Programming languages
Semantics
Title A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic
URI https://www.proquest.com/docview/2656727027
Volume 3
WOSCitedRecordID wos000219139700003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 2156-5570
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000392683
  issn: 2158-107X
  databaseCode: P5Z
  dateStart: 20100101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 2156-5570
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000392683
  issn: 2158-107X
  databaseCode: K7-
  dateStart: 20100101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 2156-5570
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000392683
  issn: 2158-107X
  databaseCode: BENPR
  dateStart: 20100101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Publicly Available Content Database
  customDbUrl:
  eissn: 2156-5570
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000392683
  issn: 2158-107X
  databaseCode: PIMPY
  dateStart: 20100101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/publiccontent
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Research Library
  customDbUrl:
  eissn: 2156-5570
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000392683
  issn: 2158-107X
  databaseCode: M2O
  dateStart: 20100101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/pqrl
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELagMLBQnuJZeWDENLFTJ5lQqVpRoCUCigpLFDu2VAnS0hR-P-fEKWJhYfEQK1F0r-98uXyH0FkCIA2JfEqEDhLihVSThCtJqGBSQIrq8rTQ9J0_HAbjcRjZgltu2yqrmFgE6nQqTY28SSHx8M3PU_7l7IOYqVHm66odobGK1lxKXWPntz5Z1lgcAH9eMHECsBkWU39siYcgbQib_Zt257Ft2rvohWHItKWVJTj9js0F4PTq_33VLbRpU03cLm1jG62obAfVqzEO2Hr1Lhq18aN6BwlPZI4hh8WdaSZL2iZsRjFLHJVNXO8Ac_jOFjhzfAUAmOJphge2KZE8J2-fcKm4aQ-Net2nzjWx0xaIpA5dEK2F4lSESkjmMc0SRzGROqEyIUEy7YaepswX0uPKZ64MA_Bf7kqvpaXgMmX7qJZNM3WAsNKGGC8QzFOeISQLWcIDDic9rgMqKT1E55WY41lJqhGbw4jRSlxqJTZaiUutHKKTSs6x9bA8_hHy0d_bx2jDPKssm5yg2mL-qU7RuvxaTPJ5A61ddYfRQ6MwHFgH9B7WqPUKO1F_EL18A92ny4A
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V07T8MwED5BQYKFN6JQwANsGFo7dZIBoVJALZSqEg9VLCF2bAmJpkBaEH-K38g5DxALGwNrolhK7vPdd5fzdwA7IQZpJPIRlcYLqeMzQ0OhFWWSK4kUtSai1NIdt9v1-n2_NwEfxVkY21ZZ-MTUUUdDZWvkBwyJh2sPT7lHT8_UTo2yf1eLERoZLC70-xumbMlh-wTtu8vY2el1s0XzqQJUYaI_osZILZj0tVTc4YaHVc1lVPW1hb7iBrN6w7grlSO0y2vK9xCnoqaculFSqIjjupMw5TiYLOH-6dXvvmo6VSQbIlX-xEBqVVPdfi50hDTFP2ifN5pXDdtOxvatImdeyvkKhj9jQRrgzub_26dZgLmcSpNGhv1FmNDxEswXYypI7rWW4aZBrvQAEfSgEoIcnTSHscpkqYgdNa1IL2tSG2AYJ528gJuQYwzwERnG5DJvuqS34eMYL6UPrcDNn7zcKpTiYazXgGhjhf88yR3tWME1n4fCE5jJCuMxxVgZ9gqzBk-ZaEhgky2LgiBDQWBREGQoKEOlsGuQe5Ak-Dbq-u-3t2GmdX3ZCTrt7sUGzNp1sxJRBUqjl7HehGn1OnpIXrZSsBK4_2sIfAJjWiTG
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Semantics+for+Concurrent+Logic+Programming+Languages+Based+on+Multiple-Valued+Logic&rft.jtitle=International+journal+of+advanced+computer+science+%26+applications&rft.au=Glazerman%2C+Marion&rft.date=2012-01-01&rft.issn=2158-107X&rft.eissn=2156-5570&rft.volume=3&rft.issue=10&rft_id=info:doi/10.14569%2FIJACSA.2012.031002&rft.externalDBID=n%2Fa&rft.externalDocID=10_14569_IJACSA_2012_031002
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2158-107X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2158-107X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2158-107X&client=summon