Documentation

[baig]

Is there any detailed documentation?

[dillonhuff]

Not really. I could write some if you would like.

What were you wondering about?

[baig]

I know enough FOL to understand the curious cat example but I am dabbling with Haskell, so any documentation about how to use it would really help.

[vyasakanksha]

Hello. I was also curious about documentation. I am failing to run the curious cat example or the algebra example. Could you help me with that. Thank you so much!

[dillonhuff]

Could you please give me some more details about what you have done to try to run the examples and what went wrong?

[vyasakanksha]

Thanks for getting back to me. So going about it step by step:

• Installed Folly
• Compiled Main.hs in the src folder
• ran Main with both GroupTheoryExample.txt and CuriosityKilledTheCat.folly
  as inputs and got errors.
  Am I doing something wrong. Sorry if I sound like a noob :(
  Thanks so much for your help

On Sun, Oct 4, 2015 at 4:22 AM, dillonhuff notifications@github.com wrote:

Could you please give me some more details about what you have done to try
to run the examples and what went wrong?

—
Reply to this email directly or view it on GitHub
#1 (comment).

From the desk of Akanksha Vyas

[dillonhuff]

I would like to be as helpful as possible but it is very difficult if you do not provide specific information about what went wrong.

By install do you mean you ran "cabal install Folly" at the terminal or did you get the source from github?
What command(s) did you use to compile src/Main?
What command(s) did you use to run the compiled main program?
What was the actual text of errors that you got?
What version of GHC are you on?
What OS are you on?

[vyasakanksha]

Thanks for getting back to me.

• I downloaded Folly-0.2.0.1.tar.gz from and extracted it
• From the src directory, I ran ghc Main.hs
• Copied example file into the src folder and ran ./Main <
  GroupTheoryExample.txt
• error: Main: user error (Pattern match failure in do expression at
  Main.hs:15:3-17)
• GHC Version 7.10.2
• mac osx 10.10.3

On Sun, Oct 4, 2015 at 12:25 PM, dillonhuff notifications@github.com
wrote:

I would like to be as helpful as possible but it is very difficult if you
do not provide specific information about what went wrong.

By install do you mean you ran "cabal install Folly" at the terminal or
did you get the source from github?
What command(s) did you use to compile src/Main?
What command(s) did you use to run the compiled main program?
What was the actual text of errors that you got?
What version of GHC are you on?
What OS are you on?

—
Reply to this email directly or view it on GitHub
#1 (comment).

From the desk of Akanksha Vyas

[dillonhuff]

A few things:

Don't do:

./Main < GroupTheoryExample.txt

Just do:

./Main GroupTheoryExample.txt

Also Folly is a cabal project, so it is better to build it with the command:

"cabal install"

in the top level directory of the project (or with "cabal install Folly" to get the latest version from Hackage).

This will install the Folly executable (along with the test suite and libraries) in a directory determined by your Haskell Platform.

[vyasakanksha]

Excellent!

So at this point will I be able to import Folly like a regular Haskell
package, or will I have to run it as an executable from that directory?

On Sun, Oct 4, 2015 at 12:40 PM, dillonhuff notifications@github.com
wrote:

A few things:

Don't do:

./Main < GroupTheoryExample.txt

Just do:

./Main GroupTheoryExample.txt

Also Folly is a cabal project, so it is better to build it with the
command:

"cabal install"

in the top level directory of the project (or with "cabal install Folly"
to get the latest version from Hackage).

This will install the Folly executable (along with the test suite and
libraries) in a directory determined by your Haskell Platform.

—
Reply to this email directly or view it on GitHub
#1 (comment).

From the desk of Akanksha Vyas

[dillonhuff]

You will be able to include all the modules listed at:

https://hackage.haskell.org/package/Folly

Just like you would use Data.Map or another module

[vyasakanksha]

Oh I understand.

I am doing graduate research work in formal logic, and was trying to use
Folly for some of my proofs. If you like, I could add some documentation
about Folly and examples from my work once I am done. Let me know :)

Thank you so much for all your help.

On Sun, Oct 4, 2015 at 12:59 PM, dillonhuff notifications@github.com
wrote:

You will be able to include all the modules listed at:

https://hackage.haskell.org/package/Folly

Just like you would use Data.Map or another module

—
Reply to this email directly or view it on GitHub
#1 (comment).

From the desk of Akanksha Vyas

[dillonhuff]

That would be great. Let me know about any difficulties you run into.

A word of warning: I created this system as a toy project to learn about how resolution based provers work. Depending on the type of research you are doing you may be better served by a fast, well established first order prover like Vampire, or an interactive proof assistant like Isabelle, HOL-light, Coq or LEAN.