The Semantics of Predicate Logic as a Programming Language

Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational seman...

Full description

Saved in:
Bibliographic Details
Published in:Journal of the ACM 1976-10, Vol.23 (4), p.733-742
Main Authors: Van Emden, M. H., Kowalski, R. A.
Format: Article
Language:English
Subjects:
Joints
Logic
Predicate logic
Programming languages
Proving
Semantics
Sentences
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c404t-bced440f6a30ce0ccc6ccf7e53d512afd5f4fd770dc85e54c522eff275de413
cites cdi_FETCH-LOGICAL-c404t-bced440f6a30ce0ccc6ccf7e53d512afd5f4fd770dc85e54c522eff275de413
container_end_page 742
container_issue 4
container_start_page 733
container_title Journal of the ACM
container_volume 23
creator Van Emden, M. H.
Kowalski, R. A.
description Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics is a special case of model-theoretic semantics.
doi_str_mv 10.1145/321978.321991
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_29071529</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1808079903</sourcerecordid><originalsourceid>FETCH-LOGICAL-c404t-bced440f6a30ce0ccc6ccf7e53d512afd5f4fd770dc85e54c522eff275de413</originalsourceid><addsrcrecordid>eNp9kD1PwzAURS0EEqUwsntCLCnPX3XChioKSJFAage2yDw_h6AmKXY68O9JFWamq3t1dIfD2LWAhRDa3CkpCpsvjlGIEzYTxtjMKvN-ymYAoDOjhThnFyl9jRUk2Bm7334S31DruqHBxPvA3yL5Bt1AvOzrBrlL3I1jX0fXtk1X89J19cHVdMnOgtsluvrLOdusH7er56x8fXpZPZQZatBD9oHktYawdAqQABGXiMGSUd4I6YI3QQdvLXjMDRmNRkoKQVrjSQs1ZzfT6z723wdKQ9U2CWm3cx31h1TJAqwwshjB239BkUMOtihAjWg2oRj7lCKFah-b1sWfSkB1VFlNKqtJpfoF1Z9ljA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1808079903</pqid></control><display><type>article</type><title>The Semantics of Predicate Logic as a Programming Language</title><source>Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)</source><creator>Van Emden, M. H. ; Kowalski, R. A.</creator><creatorcontrib>Van Emden, M. H. ; Kowalski, R. A.</creatorcontrib><description>Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics is a special case of model-theoretic semantics.</description><identifier>ISSN: 0004-5411</identifier><identifier>EISSN: 1557-735X</identifier><identifier>DOI: 10.1145/321978.321991</identifier><language>eng</language><subject>Joints ; Logic ; Predicate logic ; Programming languages ; Proving ; Semantics ; Sentences</subject><ispartof>Journal of the ACM, 1976-10, Vol.23 (4), p.733-742</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c404t-bced440f6a30ce0ccc6ccf7e53d512afd5f4fd770dc85e54c522eff275de413</citedby><cites>FETCH-LOGICAL-c404t-bced440f6a30ce0ccc6ccf7e53d512afd5f4fd770dc85e54c522eff275de413</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,777,781,27905,27906</link.rule.ids></links><search><creatorcontrib>Van Emden, M. H.</creatorcontrib><creatorcontrib>Kowalski, R. A.</creatorcontrib><title>The Semantics of Predicate Logic as a Programming Language</title><title>Journal of the ACM</title><description>Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics is a special case of model-theoretic semantics.</description><subject>Joints</subject><subject>Logic</subject><subject>Predicate logic</subject><subject>Programming languages</subject><subject>Proving</subject><subject>Semantics</subject><subject>Sentences</subject><issn>0004-5411</issn><issn>1557-735X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1976</creationdate><recordtype>article</recordtype><recordid>eNp9kD1PwzAURS0EEqUwsntCLCnPX3XChioKSJFAage2yDw_h6AmKXY68O9JFWamq3t1dIfD2LWAhRDa3CkpCpsvjlGIEzYTxtjMKvN-ymYAoDOjhThnFyl9jRUk2Bm7334S31DruqHBxPvA3yL5Bt1AvOzrBrlL3I1jX0fXtk1X89J19cHVdMnOgtsluvrLOdusH7er56x8fXpZPZQZatBD9oHktYawdAqQABGXiMGSUd4I6YI3QQdvLXjMDRmNRkoKQVrjSQs1ZzfT6z723wdKQ9U2CWm3cx31h1TJAqwwshjB239BkUMOtihAjWg2oRj7lCKFah-b1sWfSkB1VFlNKqtJpfoF1Z9ljA</recordid><startdate>19761001</startdate><enddate>19761001</enddate><creator>Van Emden, M. H.</creator><creator>Kowalski, R. A.</creator><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19761001</creationdate><title>The Semantics of Predicate Logic as a Programming Language</title><author>Van Emden, M. H. ; Kowalski, R. A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c404t-bced440f6a30ce0ccc6ccf7e53d512afd5f4fd770dc85e54c522eff275de413</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1976</creationdate><topic>Joints</topic><topic>Logic</topic><topic>Predicate logic</topic><topic>Programming languages</topic><topic>Proving</topic><topic>Semantics</topic><topic>Sentences</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Van Emden, M. H.</creatorcontrib><creatorcontrib>Kowalski, R. A.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Journal of the ACM</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Van Emden, M. H.</au><au>Kowalski, R. A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>The Semantics of Predicate Logic as a Programming Language</atitle><jtitle>Journal of the ACM</jtitle><date>1976-10-01</date><risdate>1976</risdate><volume>23</volume><issue>4</issue><spage>733</spage><epage>742</epage><pages>733-742</pages><issn>0004-5411</issn><eissn>1557-735X</eissn><abstract>Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics is a special case of model-theoretic semantics.</abstract><doi>10.1145/321978.321991</doi><tpages>10</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0004-5411
ispartof Journal of the ACM, 1976-10, Vol.23 (4), p.733-742
issn 0004-5411
1557-735X
language eng
recordid cdi_proquest_miscellaneous_29071529
source Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)
subjects Joints
Logic
Predicate logic
Programming languages
Proving
Semantics
Sentences
title The Semantics of Predicate Logic as a Programming Language
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T15%3A28%3A24IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=The%20Semantics%20of%20Predicate%20Logic%20as%20a%20Programming%20Language&rft.jtitle=Journal%20of%20the%20ACM&rft.au=Van%20Emden,%20M.%20H.&rft.date=1976-10-01&rft.volume=23&rft.issue=4&rft.spage=733&rft.epage=742&rft.pages=733-742&rft.issn=0004-5411&rft.eissn=1557-735X&rft_id=info:doi/10.1145/321978.321991&rft_dat=%3Cproquest_cross%3E1808079903%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c404t-bced440f6a30ce0ccc6ccf7e53d512afd5f4fd770dc85e54c522eff275de413%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=1808079903&rft_id=info:pmid/&rfr_iscdi=true