prolog-graph (empty) → 0.1

raw patch · 3 files changed

+50/−0 lines, 3 filesdep +basedep +cmdargsdep +fglsetup-changed

Dependencies added: base, cmdargs, fgl, graphviz, mtl, prolog, text

Files

• Main.hs +18/−0
• Setup.hs +2/−0
• prolog-graph.cabal +30/−0

@@ -0,0 +1,18 @@+module Main where++import Control.Applicative ((<$>))+import Control.Arrow ((>>>),(<<<))+import Language.Prolog (consult, parseQuery)+import ParseArgs (parseArgs)+import GraphViz (resolveTree, resolveTreeToFile)++main = do+   (queryString, files, output) <- parseArgs+   p <- concat <$> mapM ((abortOnError=<<) . consult) files+   q <- abortOnError $ parseQuery queryString+   resolveTreeToFile output p q+   --case output of+   --   Nothing -> resolveTree p q {- FIXME Never shown since thread terminated. -}+   --   Just file -> resolveTreeToFile file p q >> return ()++abortOnError = either (error . show) return

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,30 @@+Name:                prolog-graph+Version:             0.1+Synopsis:            A command line tool to visualize query resolution in Prolog.+Description:         This package installs the command line tool `hsprolog-graph` that+                     generates images of resolution trees for given Prolog queries.+                     .+                     See @hsprolog-graph --help@ for more information on usage.+License:             PublicDomain+Author:              Matthias Bartsch+Maintainer:          bartsch@cs.uni-bonn.de+Homepage:            https://github.com/Erdwolf/prolog+Category:            Language+Build-type:          Simple+Cabal-version:       >=1.6++Source-repository head+   type: git+   location: git://github.com/Erdwolf/prolog.git++Executable hsprolog-graph+  Main-is: Main.hs++  Build-depends:+    prolog == 0.1.*,+    base >=4 && <5,+    fgl >= 5.4.2.4,+    mtl >= 2.0.1.0,+    cmdargs >= 0.8,+    text >= 0.11.1.5,+    graphviz