H ? « »

Language peer sets for LPS:
United States
United States/1984
Designed 1984
1980s languages
Fourth generation
Late Cold War

LPS(ID:1567/lps001)

alternate simple view
Country: United States
Designed 1984


for Logic Programming with Sets

Sets with restricted universal quantifiers.


Related languages
DATALOG LPS   Extension of

References:
  • Kuper, Gabriel M. et al (1984) 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
  • Kuper, Gabriel M. (1988) 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 DOI
  • Kuper, G. (1990) Kuper, G. "Logic Programming with Sets", J Computer Sys Sci 41:44-64 (1990).
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder