K-Prolog Compiler Version 6.0 
これは、Java言語とProlog言語の間のインターフェースを記述した
パッケージで、JIPLと呼ばれます。
このインタフェースを利用して、
K-Prologのマニュアルは、
http://www.kprolog.com/
にて参照できます。
ダウンロードは、
アーカイブ
から行なって下さい。
ダウンロードとインストール
アーカイブを解凍し、適当なディレクトリに配置します。
古いバージョンのファイルやディレクトリはその前に消去して下さい。
UNIXの場合の推奨値は、/usr/local/plc/ Windowsの場合の推奨値は、C:\plc\ です。 このディレクトリを環境変数PLCとPATHに設定します。
UNIXの場合、LD_LIBRARY_PATHにも設定します。また、 BROWSER変数によりヘルプを表示するブラウザを指定できます。 Netscapeを使用する場合、BROWSERではなく、 MOZILLA_HOME変数にnetscapeのディレクトリを指定して下さい。 unix % setenv PLC /usr/local/plc unix % setenv PATH $PLC:$PATH unix % setenv LD_LIBRARY_PATH $PLC:$LD_LIBRARY_PATH unix % setenv MOZILLA_HOME /usr/local/netscape win32> set PLC=C:\plc win32> set PATH=%PLC%;%PATH% Javaのクラスパスの設定もこのディレクトリに対して行ないます。 例えば、 unix % java -classpath $PLC:$JAVA_HOME/lib/classes.zip
Makefileの PLC = JAVA_HOME = の行をあなたの構成に合わせて調整して下さい。 > make run は、8-Queensの解過程を表示するでしょう。Queens classは、Javaアニメーションとしては不完全なものです。 この例題の目的はProlog-Java間のインタフェースを示すことにあるので、 Java固有の必要かも知れないコーディングは省いています。
% jipl でIDEを起動した後、 [Reconsult]ダイアログで queens.pl を選択し、 [TextField]に queens(Q)を入力してみて下さい。 表示された絵を消すためには、dispose を入力して下さい。
com.kprolog.plc.Plcクラスの機能を使用します。 主要なインタフェースは、 startPlc(String[] args) exec(String command) call(String functor, Object[] args) run()
javaConstructor(Class(Args,...), Instance)
Class(+atom) : Java class name, with full package path.
Args(+term) : Arguments to be passed to the constructor.
Don't use () if the constructor has no argument.
Place just an atom as Class instead.
Instance(-term) : Instance created.
Calls constructor of Java object.
javaMethod(ClassOrInstance, Method(Args,...), Return)
ClassOrInstance : Class or Instance.
Class(+atom) : Java class name, with full package path.
Instance(+term) : An instance.
Args(+term) : Arguments to be passed to the constructor.
Don't use () if the method has no argument.
Place just an atom as Method instead.
Return(-term) : Returned object from the method. Untouched if
the method is void type.
Calls a static method of a class, if ClassOrInstance is an atom.
Calls an instance method, if an instance is given.
javaGetField(ClassOrInstance, Field, Value)
ClassOrInstance : Class or Instance.
Class(+atom) : Java class name, with full package path.
Instance(+term) : An instance.
Field(+atom) : Field name.
Value(-term) : Value of the field.
Gets the value of the field.
javaSetField(ClassOrInstance, Field, Value)
ClassOrInstance : Class or Instance.
Class(+atom) : Java class name, with full package path.
Instance(+term) : An instance.
Field(+atom) : Field name.
Value(+term) : Value to be set to the field.
Sets the value to the field.
Java Prolog
---------------------------
Integer 32bit integer
Double 64bit float
Long (may be bignum)integer
BigInteger (may be bignum)integer
String string (list of char code)
Array list
Other address term
環境変数PLCとJAVA_HOMEを設定して起動して下さい。
ソースプログラムはsrc/ide/の下に添付してありますが、ドキュメントは
ありません。
IDEとはいうものの、エディタを内蔵していません。
[File]-[Edit] は既定ではviを起動します。これを変更するためには、
editor(EditorName)組込み述語を実行して下さい。
IDEを使って見るための例題があります。
このパッケージは無保証です。このパッケージを使用することがあなたの 役に立つかどうか、あなたに損害を与えるかどうかについて(株)ＫＬＳ研究所 および紀信邦は何も保証しません。
商用目的または教育目的でJIPLを利用する方は、 info@kprolog.com にコンタクトして、K-Prologのライセンスを購入して下さい。