Browsing Βιβλιοθηκονομία και Επιστήμη της Πληροφόρησης / Library and Information Science by Subject "Disjunctive logic programming"
Now showing items 1-1 of 1
-
Temporal disjunctive logic programming
(2001)In this paper we introduce the logic programming language Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of expressing dynamic ...