𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Short communication. Logic-programming production systems with metalog

✍ Scribed by Marcel J. Schoppers

Book ID
112210064
Publisher
John Wiley and Sons
Year
1983
Tongue
English
Weight
182 KB
Volume
13
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

High-level programming of real-time syst
High-level programming of real-time systems with asynchronous communication
✍ NB Ε erbedαΊ‘ija πŸ“‚ Article πŸ“… 1990 πŸ› Elsevier Science 🌐 English βš– 950 KB

Programming of process-control systems requires careful treatment of concurrency and real-time constraints. Most existing concepts, however, have synchronization mechanisms built into the communication primitives, degrading process independency and restricting the parallelism they are trying to prov

Disjunctive logic programming with types
Disjunctive logic programming with types and objects: The DLV+ system
✍ Francesco Ricca; Nicola Leone πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 878 KB

The paper presents DLV + , a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV + is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, up