Efficient interpretation of Prolog programs

The paper focuses on three ideas for solving problems with writing interpreters for the logic programming language Prolog in Prolog and how to combine these ideas to an interpreter for Prolog which is both simple and efficient. The resulting interpreter system can be incorporated into a Prolog based...

Full description

Saved in:
Bibliographic Details
Main Author: Barklund, J.
Format: Conference Proceeding
Language:English
Subjects:
Computing methodologies > Artificial intelligence
Computing methodologies > Artificial intelligence > Philosophical/theoretical foundations of artificial intelligence
Mathematics of computing > Mathematical software
Software and its engineering > Software notations and tools > Compilers > Interpreters
Software and its engineering > Software notations and tools > General programming languages > Language types
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 137
container_issue
container_start_page 132
container_title
container_volume
creator Barklund, J.
description The paper focuses on three ideas for solving problems with writing interpreters for the logic programming language Prolog in Prolog and how to combine these ideas to an interpreter for Prolog which is both simple and efficient. The resulting interpreter system can be incorporated into a Prolog based on Warren's Abstract Machine and built mostly from existing parts of it. The interpreter has been implemented and is used in a Prolog system developed at Uppsala University.
doi_str_mv 10.1145/29650.29664
format conference_proceeding
fullrecord <record><control><sourceid>proquest_acm_b</sourceid><recordid>TN_cdi_proquest_miscellaneous_31173932</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>31173932</sourcerecordid><originalsourceid>FETCH-LOGICAL-a2024-cf6873042ec84d2baeb7e2451c5dbf11eb1d4ab50cb950215fb8baf75c1e55203</originalsourceid><addsrcrecordid>eNqNkMtOwzAQRS0BEqV0xQ9kgViAUjx-xPESVeUhVYIFrC3bGVeBJC52-v-Elg9gFnc2R_dKh5AroEsAIe-ZriRdTlmJE3JBa600MC7VKZlRXrESuKDnZJHzJ51OKc0Vm5G7dQitb3EYi3YYMe0SjnZs41DEULyl2MVtsUtxm2yfL8lZsF3Gxd-fk4_H9fvqudy8Pr2sHjalZZSJ0oeqVpwKhr4WDXMWnUImJHjZuACADhphnaTeaUkZyOBqZ4OSHlBKRvmc3Bx7p-HvPebR9G322HV2wLjPhgMorjmbwOsjaH1vXIxf2QA1vzbMwYY52Jiw239gxqUWA_8BchRcng</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype><pqid>31173932</pqid></control><display><type>conference_proceeding</type><title>Efficient interpretation of Prolog programs</title><source>Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)</source><creator>Barklund, J.</creator><contributor>Wexelblat, Richard L.</contributor><creatorcontrib>Barklund, J. ; Wexelblat, Richard L.</creatorcontrib><description>The paper focuses on three ideas for solving problems with writing interpreters for the logic programming language Prolog in Prolog and how to combine these ideas to an interpreter for Prolog which is both simple and efficient. The resulting interpreter system can be incorporated into a Prolog based on Warren's Abstract Machine and built mostly from existing parts of it. The interpreter has been implemented and is used in a Prolog system developed at Uppsala University.</description><identifier>ISSN: 0362-1340</identifier><identifier>ISBN: 0897912357</identifier><identifier>ISBN: 9780897912358</identifier><identifier>DOI: 10.1145/29650.29664</identifier><language>eng</language><publisher>New York, NY, USA: ACM</publisher><subject>Computing methodologies -- Artificial intelligence ; Computing methodologies -- Artificial intelligence -- Philosophical/theoretical foundations of artificial intelligence ; Mathematics of computing -- Mathematical software ; Software and its engineering -- Software notations and tools -- Compilers -- Interpreters ; Software and its engineering -- Software notations and tools -- General programming languages -- Language types</subject><ispartof>Papers of the Symposium on Interpreters and interpretive techniques, 1987, p.132-137</ispartof><rights>1987 ACM</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,776,780,785,786,23909,23910,25118,27902</link.rule.ids></links><search><contributor>Wexelblat, Richard L.</contributor><creatorcontrib>Barklund, J.</creatorcontrib><title>Efficient interpretation of Prolog programs</title><title>Papers of the Symposium on Interpreters and interpretive techniques</title><description>The paper focuses on three ideas for solving problems with writing interpreters for the logic programming language Prolog in Prolog and how to combine these ideas to an interpreter for Prolog which is both simple and efficient. The resulting interpreter system can be incorporated into a Prolog based on Warren's Abstract Machine and built mostly from existing parts of it. The interpreter has been implemented and is used in a Prolog system developed at Uppsala University.</description><subject>Computing methodologies -- Artificial intelligence</subject><subject>Computing methodologies -- Artificial intelligence -- Philosophical/theoretical foundations of artificial intelligence</subject><subject>Mathematics of computing -- Mathematical software</subject><subject>Software and its engineering -- Software notations and tools -- Compilers -- Interpreters</subject><subject>Software and its engineering -- Software notations and tools -- General programming languages -- Language types</subject><issn>0362-1340</issn><isbn>0897912357</isbn><isbn>9780897912358</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1987</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNqNkMtOwzAQRS0BEqV0xQ9kgViAUjx-xPESVeUhVYIFrC3bGVeBJC52-v-Elg9gFnc2R_dKh5AroEsAIe-ZriRdTlmJE3JBa600MC7VKZlRXrESuKDnZJHzJ51OKc0Vm5G7dQitb3EYi3YYMe0SjnZs41DEULyl2MVtsUtxm2yfL8lZsF3Gxd-fk4_H9fvqudy8Pr2sHjalZZSJ0oeqVpwKhr4WDXMWnUImJHjZuACADhphnaTeaUkZyOBqZ4OSHlBKRvmc3Bx7p-HvPebR9G322HV2wLjPhgMorjmbwOsjaH1vXIxf2QA1vzbMwYY52Jiw239gxqUWA_8BchRcng</recordid><startdate>19870701</startdate><enddate>19870701</enddate><creator>Barklund, J.</creator><general>ACM</general><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19870701</creationdate><title>Efficient interpretation of Prolog programs</title><author>Barklund, J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a2024-cf6873042ec84d2baeb7e2451c5dbf11eb1d4ab50cb950215fb8baf75c1e55203</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1987</creationdate><topic>Computing methodologies -- Artificial intelligence</topic><topic>Computing methodologies -- Artificial intelligence -- Philosophical/theoretical foundations of artificial intelligence</topic><topic>Mathematics of computing -- Mathematical software</topic><topic>Software and its engineering -- Software notations and tools -- Compilers -- Interpreters</topic><topic>Software and its engineering -- Software notations and tools -- General programming languages -- Language types</topic><toplevel>online_resources</toplevel><creatorcontrib>Barklund, J.</creatorcontrib><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></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Barklund, J.</au><au>Wexelblat, Richard L.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Efficient interpretation of Prolog programs</atitle><btitle>Papers of the Symposium on Interpreters and interpretive techniques</btitle><date>1987-07-01</date><risdate>1987</risdate><spage>132</spage><epage>137</epage><pages>132-137</pages><issn>0362-1340</issn><isbn>0897912357</isbn><isbn>9780897912358</isbn><abstract>The paper focuses on three ideas for solving problems with writing interpreters for the logic programming language Prolog in Prolog and how to combine these ideas to an interpreter for Prolog which is both simple and efficient. The resulting interpreter system can be incorporated into a Prolog based on Warren's Abstract Machine and built mostly from existing parts of it. The interpreter has been implemented and is used in a Prolog system developed at Uppsala University.</abstract><cop>New York, NY, USA</cop><pub>ACM</pub><doi>10.1145/29650.29664</doi><tpages>6</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0362-1340
ispartof Papers of the Symposium on Interpreters and interpretive techniques, 1987, p.132-137
issn 0362-1340
language eng
recordid cdi_proquest_miscellaneous_31173932
source Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)
subjects Computing methodologies -- Artificial intelligence
Computing methodologies -- Artificial intelligence -- Philosophical/theoretical foundations of artificial intelligence
Mathematics of computing -- Mathematical software
Software and its engineering -- Software notations and tools -- Compilers -- Interpreters
Software and its engineering -- Software notations and tools -- General programming languages -- Language types
title Efficient interpretation of Prolog programs
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-31T05%3A08%3A44IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_acm_b&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Efficient%20interpretation%20of%20Prolog%20programs&rft.btitle=Papers%20of%20the%20Symposium%20on%20Interpreters%20and%20interpretive%20techniques&rft.au=Barklund,%20J.&rft.date=1987-07-01&rft.spage=132&rft.epage=137&rft.pages=132-137&rft.issn=0362-1340&rft.isbn=0897912357&rft.isbn_list=9780897912358&rft_id=info:doi/10.1145/29650.29664&rft_dat=%3Cproquest_acm_b%3E31173932%3C/proquest_acm_b%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-a2024-cf6873042ec84d2baeb7e2451c5dbf11eb1d4ab50cb950215fb8baf75c1e55203%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=31173932&rft_id=info:pmid/&rfr_iscdi=true