Native.DLL

Help
FrAncesco
2004-09-22
2013-04-16
  • FrAncesco

    FrAncesco - 2004-09-22

    HellO!
    In  'FaCTPlusPlusNative' there is loading of native.dll in this method:

    // Loads the file Native.DLL at run-time
        static {
            System.loadLibrary("FactPP");
        }

    Where I can this dll?

    Tnx
    Francesco

     
    • Daniele Turi

      Daniele Turi - 2004-09-22

      Fact++, the new Manchester DL reasoner, is not yet publicly available, but it will be released soon and
      advertised in the appropriate lists.

       
      • FrAncesco

        FrAncesco - 2004-09-22

        Is possibile to connect FaCT servlet with Java DIG API?
        Or API was developed only for FaCT++?

        Thank you for your responses

         
        • Daniele Turi

          Daniele Turi - 2004-09-22

          Unfortunately, FaCT only supports DIG 1.0 and the
          only implementation available in the DIG API is for DIG 1.1.
          You can either write your own code using the one for
          DIG 1.1 as template, or simply use RACER (which
          supports both DIG 1.0 and 1.1).

           
          • FrAncesco

            FrAncesco - 2004-09-22

            With Racer there is no problem (I have already tried).
            Now I will try (with FaCT) as you have said to me.

            Best Regards
            Francesco Schettini
            Univeristy of Bari (Italy)

             

Log in to post a comment.