SWI-Prolog -- Manual

Documentation
- Reference manual
- Packages
  - Constraint Query Language A high level interface to SQL databases
    - library(cql/cql): CQL - Constraint Query Language
      - Examples
        
        Simple INSERT
        
        Simple INSERT with retrieval of identity of the inserted
        
        Simple DELETE
        
        Simple SELECT
        
        Simple UPDATE
        
        WHERE with arithmetic comparison
        
        Simple INNER JOIN
        
        Arithmetic UPDATE with an INNER JOIN and a WHERE restriction
        
        Confirm row does not exist
        
        Aggregation - Count
        
        Aggregation - Sum
        
        Aggregation - Average
        
        Maximum Value
        
        Minimum Value
        
        Aggregation requiring GROUP BY
        
        INNER JOIN with an aggregation sub-query where the sub-query is constrained by a shared variable from the main query
        
        INNER JOIN in an aggregation sub-query
        
        Negation
        
        EXISTS
        
        Left Outer Join
        
        List-based Restrictions
        
        Compile time in-list constraint
        
        Disjunction resulting in OR in WHERE clause
        
        Disjunction resulting in different joins (implemented as a SQL UNION)
        
        Disjunction resulting in different SELECT attributes (implemented as separate ODBC queries)
        
        ORDER BY
        
        DISTINCT
        
        SELECT with NOT NULL restriction
        
        First N
        
        Self JOIN
        
        Removing null comparisions
        
        Three table JOIN
        
        Three table JOIN with NOLOCK locking hint
        
        SELECT with LIKE
        
        Writing exceptions directly to the database
        
        TOP N is Parametric
        
        Using compile_time_goal/1
        
        ON
        
        Expressions In Where Restrictions
        
        Explicitly avoid the "No WHERE restriction" message
        
        HAVING
        
        INSERT and UPDATE value in-line formatting
        
        Negations in WHERE Clauses
        
        Predicate-generated Attribute Values
        
        INSERT from SELECT

1.7.21 List-based Restrictions

CQL supports query restrictions based on lists. Note that in both cases \== [] and == [] are equivalent despite the obvious logical inconsistency.

FIXME: Can we make this behaviour be controlled by a flag? It IS quite useful, even if it is completely illogical

{[], se_lt_x :: [a-Bar], Bar == []}

and

{[], se_lt_x :: [a-Bar], Bar \== []}

both do exactly the same thing - they will not restrict the query based on Bar. The second case seems to be logically consistent - all things are not in the empty list.