理论上，如果一组子句包含空列表（[]），我的函数应该能够返回True或False，我实际上定义了下一个数据类型：

data Literal = V String | NotV String deriving Eq
type Clause = [Literal]
type Interpretacion = [( String , Bool ) ]
type State = ( Interpretation , [ Clause ])

对于函数，我是这样做的：

conflict :: State -> Bool
    | [] `elem` xs = True
    | otherwise = False

但我真的认为这还不够，我的下一个工作是做另一个函数，确定模型搜索是否成功，（这发生在子句集为空时），我认为我必须使用相同的（State -〉Bool）使用上面的函数，但如果第一个函数不工作，第二个也不能工作。
我最大的问题是：你认为我需要做什么？任何评论都会对我有很大的帮助，我有点迷失了。我的工作是关于DPLL算法的转换规则，一旦我有了，我会在Github分享给新的程序员。