Damian Janicki janicki.damian@gmail.com

Investigate runtime integration aspects, mainly semi-automatical building of a GUI for Prolog programs possibilities XPCE, Static QT/Gtk, Gtk-Server, Java (Swing), Eclipse (SWT)

• input: XPCE, QT, GTK, GtkServer, Java etc., SWI Prolog documentation

• output: Java/JPL, Feasibility study, a prototype.

• integration options for Java: JPL (SWI),Logtalk (OO Prolog), architecture: MVC
• approach: 2 -3 app. cases, M prolog, V in Java, C → JPL/Logtalk, e.g. ready M in Prolog, build V in Java: Car ES, opposite: ready MV i Java, build M in Prolog, make it work with the V

• MISSED prototyp dla car, tj. ask_question

• problems, problems

• przerobienie car na wywołanie V w Javie
• jpl pod linuxem na wiki do czwartku

MISSED

• model z varda, view w java, funkcjonalność z varda_model.pl (ew. innych) ma być udostępniania przez jako model, do tego jest view w javie

funkcje (proste reqestery, radiobox): split, → na ile, ktore, jakie nowe czesci finalize → na ile att, ktore property (new att)

 sar.  show the ARD diagram, can be used sar(File),
 shi.  show the ARD history (TPH), can be used shi(File),
 sha.  show the TPH and ARD combined, with can be used sha(File),

setof([A,B],ard_depend(A,B),L).
 arp.  write ARD model in Prolog, can be used arp(File),
       the file can be subsequently consulted to recreate the model,

sprawdz rezultatu!!!!

• varda

• logika w goal z prologu, patrz miw08_prolog_javasockets
• ui pozwala na zrobienie tylko tego co w danym kontekście możliwe

• split, sparowzd alpha

Oryginalny system (tematprosty_system_ekspertowy)

show_yes_no_dialog(Tekst,Response) :-
		jpl_new(array(class([java,lang],['String'])),['yes','no'], ArrayRef),
		jpl_get(ArrayRef,0,ArrayPosRef),
		jpl_get('javax.swing.JOptionPane', 'YES_NO_OPTION', YesNoRef),
		jpl_get('javax.swing.JOptionPane', 'QUESTION_MESSAGE', QuestionRef),
		jpl_call('javax.swing.JOptionPane', 'showOptionDialog', [@(null),
					       Tekst, 
					       'Question',
					       YesNoRef,
					       QuestionRef,
					       @(null), 
					       ArrayRef, 
					       ArrayPosRef], 
					       RetVal),
		interpret(RetVal,Response).
 
interpret(1,no). 
interpret(0,yes). 

show_explain_dialog(Tekst) :-
		jpl_call('javax.swing.JOptionPane', 'showMessageDialog', [@('null'),Tekst],_).

Przed zmianami:

ask_question(starter_was_ok) :-
   write('When you first started trying to start the car,'),nl,
   write('did the starter crank the engine normally? '),nl.

Po zmianach (korzysta z Java):

ask_question(starter_was_ok,Res) :-
	show_yes_no_dialog('When you first started trying to start the car did the starter crank the engine normally?',Res).

Przed zmianami:

explain(wrong_gear) :-
   nl,
   write('Check that the gearshift is set to Park or Neutral.'),nl,
   write('Try jiggling the gearshift lever.'),nl.

Po zmianach:

explain(wrong_gear) :-
	show_explain_dialog('Check that the gearshift is set to Park or Neutral.Try jiggling the gearshift lever.').

Przed:

user_says(Q,A) :- \+ stored_answer(Q,_),
                  ask_question(Q),
                  get_yes_or_no(Response),
                  asserta(stored_answer(Q,Response)),
                  Response = A.

Po:

user_says(Q,A) :- \+ stored_answer(Q,_),
                  ask_question(Q,Response),
		  asserta(stored_answer(Q,Response)),
                  Response = A.

V: Interfejs w Javie

private void startDiagnose(){
	Query queryConsult = new Query("consult", new Atom("pl/carJPL.pl"));
	queryConsult.query();
 
	Query start = new Query("start");
	start.query();
}

W stosunku do wersji pierwszej deklaracje dialogów z pytaniem do użytkownika znajduja się w klasie MessageDialogs. Dzieki temu poziomu prologu wołana jest tylko jedna funkcja:

Klasa MessageDialogs

import javax.swing.JOptionPane;
 
public class MessageDialogs {
 
	public static String showYesNoDialog(String A_strMessage)
	{
		String strRetVal = new String("");
		Object[] options = {"Yes", "No"};
		int nRetVal = JOptionPane.showOptionDialog(	null,
				A_strMessage,
				"Question",
				JOptionPane.YES_NO_OPTION,
				JOptionPane.QUESTION_MESSAGE,
				null,
				options,
				options[0]);
 
		if(nRetVal == 1)
			strRetVal = "yes";
		else if (nRetVal == 0)
			strRetVal = "no";
 
		return strRetVal;
	}
 
	public static void showInformation(String A_strMessage){
		JOptionPane.showMessageDialog(null, A_strMessage);
	}
}

Predykat show_yes_no_dialog :

show_yes_no_dialog(Tekst,Response) :- 
		jpl_call('dialog.MessageDialogs', 'showYesNoDialog', [Tekst], Response).

Źródła projektu

Celem projektu było stworzenie aplikacji, której modelem jest jest program Varda napisany w języku prolog, natomiast interfejs miał być stworzony w języku java. Komunikacja pomiędzy java, a prologiem miała odbywać się za pomocą biblioteki JPL.

W ramach projektu udało się zrealizować interfejs graficzny napisany w języku Java do programu Varda. Program składa się z klas java, które tworzą GUI, oraz klas, które są odpowiedzialne za komunikacje z prologiem. W projekcie znajduje się także plik prologa, gdzie zdefiniowane są odpowiednie zapytania pobierające informacje z programu varda.

• MainFrame.java - klasa tworząca interfejs użytkonika

• SplitData.java - klasa przetrzumująca informacje o elementach, na których należy wykonać operacje split

• VardaControl.javc - klasa, która za pomocą odpwiednich predykatów pobiera informacje z programu Varda, które następnie przekazywane są do MainFrame lub do SplitData (dla operacji split). Klasa odpowiada również za wysyłanie danych do prologa gdy wykonujemy operacje takie jak split, finalize.

• gui_query.pl - plik prologa, w którym znajdują się predykaty potrzebne do pobierania informacji z programu varda, np. pobieranie atrybutów które możemy ze splitowac, lub zfinalizować.

Aby uruchomić program należy posiadać bibliotekę JPL. Sposób instalacji oraz źródła projektu znajdują się tutaj Następnie należy sciągnąć źródla projektu i następnie skompilować je za pomocą polecenia javac: javac -classpath PROLOG_HOME jest scieżką do katalogu w którym zainstalowany jest Swi-prolog.

Następnie uruchamiamy projekt za pomocą polecenia: java -classpath PROLOG_HOME/lib/jpl.jar VardaControl.jar

Trzecim sposobem jest ściągniecie projektu eclipse za pomocą SVN z repozytorium: http://svn2.assembla.com/svn/MIVprojekt/VardaFrame

JPL - Prolog/Java interface