LPS(ID:1567/lps001)

for Logic Programming with Sets

Sets with restricted universal quantifiers.
Related languages
DATALOG => LPS   Extension of
References:
  • Kuper, Gabriel M.; Vardi, Moshe Y.; A new approach to database logic, Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, April 02-04, 1984, Waterloo, Ontario, Canada view details
  • Kuper, Gabriel M. "On the expressive power of logic programming languages with sets" Symposium on Principles of Database Systems Austin, Texas, United States 1988 pp10-14 view details DOI
  • Kuper, G. "Logic Programming with Sets", J Computer Sys Sci 41:44-64 (1990). view details