资料来源 : Free On-Line Dictionary of Computing

LPS
     
        Sets with restricted {universal quantifier}s.
     
        ["Logic Programming with Sets", G. Kuper, J Computer Sys Sci
        41:44-64 (1990)].