haskell：一個析取範式函數

我想創建一個函數，它將命題轉換爲析取範式。haskell：一個析取範式函數

type Valuation = [(Variable, Bool)] -- Valuation of variables to truth values

和使用這些：

它會通過讀取評估列表爲此

findBool :: (Variable, Bool)->Bool 
findBool (_,x) = x 

findVar :: (Variable, Bool)->Variable 
findVar (x,_) = x

而且命題是：

data Prop = Falsum   -- a contradiction, or 
      | Var Variable -- a variable, or 
      | Not Prop  -- a negation of a formula, or 
      | Or Prop Prop -- a disjunction of two formulae, or 
      | And Prop Prop -- a conjunction of two formulae, or 
      | Imp Prop Prop -- a conditional of two formulae. 
      deriving (Eq, Show)

我覺得我有什麼到目前爲止是非常穩固的，但我不知道該怎麼辦空箱子。這是我到目前爲止有：

minterm :: Valuation -> Prop 
minterm [] = ? 
minterm (x:xs) = if (findBool x) then (And (findVar x) (minterm xs)) else (And (Not(findVar x) (minterm xs))

我的目標是：minterm [("p",True),("q",False)]返回：And (Var "p") (Not (Var "q"))

編輯： 不Falsum工作，但如果它不返回任何東西我喜歡。反正我有可以排除它會被退回，所以我可以得到這樣的情況：

minterm [("p",True),("q",False)] == And (Var "p") (Not (Var "q"))

來源

2013-11-14 John

怎麼樣'不Falsum' – Ingo

不返回任何內容的標準方式是返回Nothing。

minterm :: Valuation -> Maybe Prop 
minterm []  = Nothing 
minterm (x:xs) = 
    Just $ case minterm xs of 
      Nothing -> y 
      Just mt -> And y mt 
    where 
    y = if (findBool x) 
      then findVar x 
      else Not $ findVar x

請注意，現在您的頂級類型簽名將反映這種失敗的概念。

來源

2013-11-14 12:54:40

根據您的編輯，是有可能你只是想特例結束整齊它呢？

minterm :: Valuation -> Prop 
minterm [] = Not Falsum 
minterm [x] = oneTerm x 
minterm (x : xs) = And (oneTerm x) (minterm xs) 

oneTerm (x, True) = Var x 
oneTerm (x, False) = Not (Var x)

來源

2013-11-14 11:26:15 Owen

編譯，但有什麼辦法可以像我發佈的示例中那樣完全刪除它？ – John

你可以改變你minterm函數返回的條款，而不是一個長期的名單：

minterm :: Valuation -> [Prop] 
minterm [] = [] 
minterm (x:xs) = if (findBool x) then findVar x : minterm xs else Not (findVar x) : minterm xs

，然後寫另一個函數把它轉換成一個道具：

and :: [Prop] -> Prop 
and [] = Not Falsum 
and xs = foldr1 And xs

來源

2013-11-14 14:03:50 Toxaris

haskell：一個析取範式函數

回答

相關問題