По умолчанию, имя библиотеки совпадает с полным именем класса, который отвечает за ее выполнение.
Однако, возможно в прямой форме определить имя библиотеки, переписавпереопределив метод getName,итаким наобразом, возвратечтобы получитьон возвращал имя вбиблиотеки видекак stringобъект типакласса данныхString.
Например:
package acme;
package acme; import alice.tuprolog.*; public class MyLib_ver00 extents Library {public String getName(){return “MyLibrary”;}…}
import alice.tuprolog.*;
public class MyLib_ver00 extents Library {
public String getName(){
return “MyLibrary”;
}
…
}
Этот класс определяет библиотеку, названную MyLibrary.
Она может быть загружена в Prolog используяс методпомощью метода loadLibrary, используя Java, или с помощью load library - встроенного предиката Prolog, определяющего полное имя класса (acme.MyLib ve00MyLib_ve00).
ОноОна может быть выгруженовыгружена с помощью метода unloadLibrary (или соответствующего встроенного предиката), указав вместо имени библиотеки (MyLibrary).