Exceptions.java

Go to the documentation of this file.

//tabstop=4

import jpl.Query;                               // empirically, we need this, but I don't know why...
import jpl.fli.Prolog;
import jpl.*;

public class Exceptions
{
        public static void
        main( java.lang.String argv[] )
        {
                // currently, SWI-Prolog's default args are suited to interactive use with an attached console,
                // not to embedded use like this, so we override them before they are used
                // (by JPL, when it necessarily initialises Prolog when .hasSolution() is first called)

                Prolog.set_default_init_args(
                        new String[] {
                                "libpl.dll",
                                "-f", "none",
                                "-g", "set_prolog_flag(debug_on_error,false)",
                                "-q"
                        }
                );

                System.out.print( "calling\n\n");
                System.out.print( "?- X is Y.\n\n");
                System.out.print( "in Prolog to force a Prolog 'instantiation_error' exception,\n" );
                System.out.print( "which should be returned via Java as an uncaught jpl.PrologException in thread \"main\":\n\n" );

                (new Query("X is Y")).hasSolution();
        }
        
}

---

jpl
Author(s): Lorenz Moesenlechner
autogenerated on Fri Jan 11 09:40:29 2013