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!

Popis
Shrnutí:	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.
Bibliografia:	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ISSN:	1471-0684 1475-3081
DOI:	10.1017/S1471068423000108