Documentation

type Variable = Int Source #

type Literal = Variable Source #

var :: Literal -> Variable Source #

sign :: Literal -> Int Source #

type Clause = [Literal] Source #

type KB = [Clause] Source #