jpl

Class JPL

java.lang.Object

jpl.JPL

public class JPL
extends Object

The JPL class contains initialization and termination methods for the High-Level interface. The Prolog engine must be initialized before any queries are made. Copyright (C) 1998 Fred Dushin

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Library Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library Public License for more details.

Version:

$Revision: 1.1.1.1 $

Author:

Fred Dushin

Field Summary

Fields

Modifier and Type	Field and Description
protected static boolean	DEBUG

Constructor Summary

Constructors

Constructor and Description
JPL()

Method Summary

Modifier and Type	Method and Description
static void	halt() Terminates the Prolog session.
static void	init() Default initializor.
static void	init(String[] argv) Initializes the Prolog engine, using the String argument parameters passed.
static void	main(String[] argv)
static String	version_string()
static jpl.Version	version()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEBUG

protected static final boolean DEBUG

See Also:

Constant Field Values

Constructor Detail

JPL

public JPL()

Method Detail

init

public static void init(String[] argv)

Initializes the Prolog engine, using the String argument parameters passed. For parameter options, consult your local Prolog documentation. The parameter values are passed directly to initialization routines for the Prolog environment.

This method must be called before making any queries.

Parameters:

argv - Initialization parameter list

init

public static void init()

Default initializor. Starts the engine with pl, the default Prolog command, with the initial goal to be "true" (eliminates that initial message).

halt

public static void halt()

Terminates the Prolog session.

Note. This method calls the FLI halt() method with a status of 0, but the halt method currently is a no-op in SWI.

version

public static jpl.Version version()

Returns:

the running version of JPL.

version_string

public static String version_string()

Returns:

the running version (in String form) of JPL.

main

public static void main(String[] argv)