Menu

First Order Predicate Logic

2000-01-19
2002-01-02
  • Frank V. Castellucci

    Subject says it all.

     
    • Daniel Silverstone

      I wrote something at university covering this.

      Are you after something simple - or more of a mini prolog parser?

       
      • Frank V. Castellucci

        Something that can abstract the expression and terms to be used in a constraint solver.

        I have a handle on the parser, its the evaluator sub-system I am looking for.

         
        • Daniel Silverstone

          I.E. something which does the actual logical evaluation? I can do that I think...

          ::glances over university code::

          Hmm - I wrote some dodgy java a while back
          I think I can re-read it and design a parser.
          Are you after something which proves a predicate string or something more complex?

           
          • Daniel Silverstone

            Ergh
            I've checked my code a little more and all my old uni code does is take a formula (- == NOT, . == AND, * == OR) in pre-order and say if it is "valid" or "satisfiable" or "unsatisfiable"

            It's rough and incomplete but may help..

            -- EXAMPLE OUTPUT --
            The formula -*a-a
            Unsatisfiable
            The formula *a-a
            Valid
            The formula .a-a
            Unsatisfiable

             
    • Michael Farr

      Michael Farr - 2002-01-02

      http://www.ginac.de/
      GiNaC, GiNaC is Not a CAS,

      (CAS = Computer Algebra System)

      It allows creation of integrated systems that embed symbolic manipulations together with more established areas of computer science. It is GPL'd.

       

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.