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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming Jg. 23; H. 4; S. 678 - 695
Hauptverfasser:	LIU, YANHONG A., STOLLER, SCOTT D., TONG, YI, LIN, BO
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge Cambridge University Press 01.07.2023
Schlagworte:	Access control Hypotheses Interfaces Logic Logic programming Object oriented programming Object-oriented languages Programming languages Semantics Variables
ISSN:	1471-0684, 1475-3081
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!