Logic programming as a service

DOI10.1017/S1471068418000364zbMath1452.68036arXiv1806.02577OpenAlexW2807492317MaRDI QIDQ4559833

Andrea Omicini, Stefano Mariani, Roberta Calegari, Enrico Denti

Publication date: 4 December 2018

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1806.02577

zbMATH Keywords

distributed systemsintelligent systemslogic programmingservice-oriented architecturepervasive systemssituatednessLPaaS

Mathematics Subject Classification ID

Logic programming (68N17) Distributed systems (68M14)

Related Items (2)

Parallel Logic Programming: A Sequel ⋮ LPaaS

Uses Software

• Linda
• TuCSoN

Cites Work

• A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP
• Extending Logic Programming with Labelled Variables: Model and Semantics
• Generative communication in Linda
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item

This page was built for publication: Logic programming as a service