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

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

JPL - Prolog/Java interface