The WeberLogic package

[Tags:bsd3, library, program]

Logic interpreter

[Skip to Readme]


Versions, 0.1.1, 0.1.2
Dependencies base (==4.6.*), parsec (==3.1.*) [details]
License BSD3
Author Cameron Brandon White
Stability Unknown
Category Math
Home page
Uploaded Mon Mar 17 03:20:43 UTC 2014 by cameronbwhite
Distributions NixOS:0.1.2
Downloads 718 total (6 in the last 30 days)
0 []
Status Docs available [build log]
Successful builds reported [all 2 reports]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for WeberLogic

Readme for WeberLogic-0.1.2


Logic interpreter and parsing library


cabal update
cabal install WeberLogic


$ ./WeberLogic
Enter Command
> truthTable: a&b+c->~a&b
'a'   'b'   'c'   | (((a&b)+c)->(~a&b))
True  True  True  | False
True  True  False | False
True  False True  | False
True  False False | True 
False True  True  | True 
False True  False | True 
False False True  | False
False False False | True 

Enter Command
> toNand: a&b->c 

Enter Command
> toNor: a&b->c


The library contains two modules.

  1. WeberLogic.Parser
  2. WeberLogic.Actions


The WeberLogic.Parser provides functions which read stings and return an abstract syntax tree (AST). The AST in implement with a data type called LogicExp and Letter.

  • Data Types

    • LogicExp - A recursively defined data type which implements as abstract syntax tree. It provides the following type constructors which function as nodes in the AST: Not, And, Or, Implies, Iff, Nand, and Nor. The Predicate type constructor functions as the AST leaves.
    > import WeberLogic.Parser
    > Predicate 'A' [(Variable 'x', Name 'a')]
    > Not (Predicate 'A' [(Variable 'x', Name 'a')])
    > And (Predicate 'A' [(Variable 'x', Name 'a')]) (Predicate 'B' [])
    • Letter - This Data Constructor provies two Type constructors Variable and Name. They are used in the construction of Predicate which requires a list of type Letter
    > import WeberLogic.Parser
    > Predicate 'A' [(Variable 'x', Name 'a')]
  • Functions

    • parseExp
    > import WeberLogic.Parser
    > a = parseExp "Axa"
    > b = parseExp "~Axa"
    > c = parseExp "Axa&B"
    • parseArg
    > import WeberLogic.Parser
    > a = parseExp "|- Axa"
    > b = parseExp "~Axa, B |- Cax"
    > c = parseExp "Axa&B, B, C |- Ax->By"


The WeberLogic.Actions modules provides functions which manipulate the LogicExp AST.

> import WeberLogic.Parser
> import WeberLogic.Actions

> mapM_ putStrLn $ truthTableStr $ readExp "A&B"
'a'   'b'   | (a&~b)
True  True  | False
True  False | True 
False True  | False
False False | False

> toNand $ readExp "A&~B" 

> toNor $ readExp "A&~B"