Relationlog: A typed extension to Datalog with sets and tuples

DOI10.1016/S0743-1066(98)00003-XzbMath0911.68031OpenAlexW1987419104MaRDI QIDQ4223459

Mengchi Liu

Publication date: 4 May 1999

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(98)00003-x

zbMATH Keywords

model-theoretic semanticslogic programming based language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

The Relationlog system prototype

Uses Software

• Datalog

This page was built for publication: Relationlog: A typed extension to Datalog with sets and tuples