Integrating Logic Rules with Everything Else, Seamlessly

This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predicates in rules as set-valued variables that can be used and updated in any scope, and support queries using rules as eithe...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theory and practice of logic programming Ročník 23; číslo 4; s. 678 - 695
Hlavní autori:	LIU, YANHONG A., STOLLER, SCOTT D., TONG, YI, LIN, BO
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge Cambridge University Press 01.07.2023
Predmet:	Access control Hypotheses Interfaces Logic Logic programming Object oriented programming Object-oriented languages Programming languages Semantics Variables
ISSN:	1471-0684, 1475-3081
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Abstract	This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predicates in rules as set-valued variables that can be used and updated in any scope, and support queries using rules as either explicit or implicit automatic calls to an inference function. We have defined a formal semantics of the language, implemented a prototype compiler that builds on an object-oriented language that supports concurrent and distributed programming and on an efficient logic rule system, and successfully used the language and implementation on benchmarks and problems from a wide variety of application domains. We describe the compilation method and results of experimental evaluation.
AbstractList	This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predicates in rules as set-valued variables that can be used and updated in any scope, and support queries using rules as either explicit or implicit automatic calls to an inference function. We have defined a formal semantics of the language, implemented a prototype compiler that builds on an object-oriented language that supports concurrent and distributed programming and on an efficient logic rule system, and successfully used the language and implementation on benchmarks and problems from a wide variety of application domains. We describe the compilation method and results of experimental evaluation.
Author	STOLLER, SCOTT D. LIN, BO LIU, YANHONG A. TONG, YI
Author_xml	– sequence: 1 givenname: YANHONG A. orcidid: 0000-0002-5742-6489 surname: LIU fullname: LIU, YANHONG A. – sequence: 2 givenname: SCOTT D. surname: STOLLER fullname: STOLLER, SCOTT D. – sequence: 3 givenname: YI surname: TONG fullname: TONG, YI – sequence: 4 givenname: BO surname: LIN fullname: LIN, BO
BookMark	eNp9UE1LAzEQDVLBtvoDvC14dTWT7x6l1FooCFbPS5pNtlu2uzXJKv33ptaTgqd5vI8Z5o3QoO1ai9A14DvAIO9XwCRgoRihGGPA6gwNE8VzihUMvjHkR_0CjULYJoughA2RWrTRVl7Huq2yZVfVJnvpGxuyzzpustmH9Ye4OWqzJtjbbGX1LqmhOVyic6cTd_Uzx-jtcfY6fcqXz_PF9GGZGwoi5hY7boFK7ri2jnBSGlNSYrXEmHLHEgLsrGFrp0GVciKUYqUQZk04k2VJx-jmtHfvu_fehlhsu9636WRB1IRQoWT6eYzg5DK-C8FbV-x9vdP-UAAujgUVfwpKGfkrY-qYiuja6HXd_JP8Amhjakg
CitedBy_id	crossref_primary_10_4204_EPTCS_416_29
ContentType	Journal Article
Copyright	The Author(s), 2023. Published by Cambridge University Press
Copyright_xml	– notice: The Author(s), 2023. Published by Cambridge University Press
DBID	AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U
DOI	10.1017/S1471068423000108
DatabaseName	CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic
DatabaseTitle	CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New)
DatabaseTitleList	CrossRef Computer Science Database
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1475-3081
EndPage	695
ExternalDocumentID	10_1017_S1471068423000108
GroupedDBID	-E. .FH 09C 09E 0E1 0R~ 123 29Q 4.4 5VS 74X 74Y 7~V 8FE 8FG 8R4 8R5 AAAZR AABES AABWE AACJH AAFUK AAGFV AAKTX AANRG AARAB AASVR AAUKB AAYXX ABBXD ABGDZ ABITZ ABJNI ABKKG ABMWE ABQTM ABQWD ABROB ABTCQ ABUWG ABVKB ABVZP ABXHF ABZCX ACAJB ACBMC ACDLN ACGFS ACIMK ACNCT ACUIJ ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADKIL ADOVH ADVJH AEBAK AEHGV AEMTW AENEX AENGE AFFHD AFFUJ AFKQG AFKRA AFLOS AFLVW AFUTZ AFZFC AGABE AGBYD AGJUD AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS AKMAY ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ATUCA AUXHV AZQEC BBLKV BENPR BGHMG BGLVJ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CFAFE CHEAL CITATION CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EJD GNUQQ HCIFZ HG- HST HZ~ I.6 IH6 IOEEP IPYYG IS6 I~P J36 J38 J3A J9A JHPGK JQKCU K6V K7- KCGVB KFECR L98 LW7 M-V NIKVX O9- OYBOY P2P P62 PHGZM PHGZT PQGLB PQQKQ PROAC PYCCK Q2X RAMDC RCA ROL RR0 S6- S6U SAAAG T9M UT1 WFFJZ WQ3 WXU WYP ZYDXJ 3V. 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D M0N PKEHL PQEST PQUKI PRINS Q9U
ID	FETCH-LOGICAL-c316t-e0f5e1375f5aef252dccd32ea70035f42ea10fec4bfa18d796884d66cb2547dd3
IEDL.DBID	P5Z
ISICitedReferencesCount	2
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001164466100016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1471-0684
IngestDate	Sun Jul 13 04:02:43 EDT 2025 Sat Nov 29 04:58:38 EST 2025 Tue Nov 18 21:44:57 EST 2025
IsDoiOpenAccess	false
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	4
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c316t-e0f5e1375f5aef252dccd32ea70035f42ea10fec4bfa18d796884d66cb2547dd3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0002-5742-6489
OpenAccessLink	https://www.cambridge.org/core/services/aop-cambridge-core/content/view/43F7B71F2B4A27FAB6BFF7EFC0C58EF6/S1471068423000108a.pdf/div-class-title-integrating-logic-rules-with-everything-else-seamlessly-div.pdf
PQID	2892368742
PQPubID	43613
PageCount	18
ParticipantIDs	proquest_journals_2892368742 crossref_primary_10_1017_S1471068423000108 crossref_citationtrail_10_1017_S1471068423000108
PublicationCentury	2000
PublicationDate	2023-07-01
PublicationDateYYYYMMDD	2023-07-01
PublicationDate_xml	– month: 07 year: 2023 text: 2023-07-01 day: 01
PublicationDecade	2020
PublicationPlace	Cambridge
PublicationPlace_xml	– name: Cambridge
PublicationTitle	Theory and practice of logic programming
PublicationYear	2023
Publisher	Cambridge University Press
Publisher_xml	– name: Cambridge University Press
SSID	ssj0016324
Score	2.3437586
Snippet	This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea...
SourceID	proquest crossref
SourceType	Aggregation Database Enrichment Source Index Database
StartPage	678
SubjectTerms	Access control Hypotheses Interfaces Logic Logic programming Object oriented programming Object-oriented languages Programming languages Semantics Variables
Title	Integrating Logic Rules with Everything Else, Seamlessly
URI	https://www.proquest.com/docview/2892368742
Volume	23
WOSCitedRecordID	wos001164466100016&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: 1475-3081 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1475-3081 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1475-3081 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEB5s68GL9YnVWnLwJC5mn0lPotKiCKVUheJlySZZEGpbu1uh_97MbrZSBC_eluyDZTKZmcxMvg_gglOWGK8hHSWE5wRJmjg8wZNcRjkC4fqKuklBNsEGAz4ed4c24ZbZtsrKJhaGWs0k5sivzcbA8yPzAe9m_ukgaxRWVy2FRg0aiJKA1A3D8G1dRUAo8uJ0EcPuHh5UVU2EjMZBHDMhOO6L-KZf2jTLha_pN__7l3uwa6NMcluqxT5s6ekBNCsGB2IX9CHwR4sWYRwYQdplSUbLic4IpmdJz6j5KscUFcGDKVfkWYuPCYamqyN47fde7h8cy6XgSN-NckfTNNSuz8I0FDr1Qk9JqXxPC4a1xDQwVy5NtTSzJVyuWDfiPFBRJBOzg2RK-cdQn86m-gQIF9L3qaYIYxOERgOEiYp0YKyBkgkNaQtoJclYWqBx5LuYxGVHGYt_Cb8Fl-tX5iXKxl8PtyvZx3bBZfGP4E__vn0GO8gYX3bctqGeL5b6HLblV_6eLTrQuOsNhqMO1J6Y0ym06RsO5Mw0
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1JS8QwFH64gV7cxd0c9CIW06Rt4kFEXHAYHcQFvNU0SUEYx2VGZf6Uv9H3uigiePPgraRtCHkvb8lbPoB1zVWGWsMGzhgRRFmeBTqjSi5kjsiE0vEwK8AmVKulb252zgfgva6FobTKWiYWgto9WLoj30bHQMgEJxB7j08BoUZRdLWG0CjZoun7b-iydXcbh0jfDSGOj64OToIKVSCwMkx6ged57EOp4jw2PhexcNY6KbxRFFXLI3wKee4trtuE2qmdROvIJYnN0JdSzkmcdxCGI6kVnaumCj6jFtT6vKhmUpRNpKM6ikotqmmQxtDkJz9Mf9eD39VAoduOJ_7brkzCeGVFs_2S7adgwHemYaJGqGCVwJoB3ai6YaCCZgQrbdnFS9t3GV0_syM8xv0eXcExKrzZYpfe3LfJ9O7PwvWfrH8OhjoPHT8PTBsrJfec2vREMXK4QavPRyjtnM14zBeA15RLbdVInfA82mmZMafSH8RegM3PXx7LLiK_fbxc0zqtBEo3_SL04u-v12D05OrsND1ttJpLMCbQJiuzi5dhqPf84ldgxL727rrPqwXvMrj9a7b4ANBUKFA
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=Integrating+Logic+Rules+with+Everything+Else%2C+Seamlessly&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=Liu%2C+Yanhong+A&rft.au=Stoller%2C+Scott+D&rft.au=Tong%2C+Yi&rft.au=Lin%2C+Bo&rft.date=2023-07-01&rft.pub=Cambridge+University+Press&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=23&rft.issue=4&rft.spage=678&rft.epage=695&rft_id=info:doi/10.1017%2FS1471068423000108
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon