LPS

Sets with restricted universal quantifiers.

"Logic Programming with Sets", G. Kuper, Journal of Computer System Sciences 41:44-64 (1990).