Łukasz Łysik llysik@gmail.com

Java ↔ Prolog via Sockets, examples, feasibility study, evaluation An example of enabling a Java tic tac toe GUI to interact with the Prolog tic tac toe game agent, using a socket data connector: http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/8_4.html

• zmiana java(server) na java client
• logic server

• todo: car expert system

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

user_says(Q,A) :- stored_answer(Q,A).
 
user_says(Q,A) :- \+ stored_answer(Q,_),
                  nl,nl,
                  java_ui_quest(Q,Response),
                  asserta(stored_answer(Q,Response)),
                  Response = A.
 
java_ui_quest(Q,R) :-
ask_qest_in_java(Q),
get_ans_from_java(R).

Przy założeniu Java pyta prolog o diagnozę:

Przerobić to:

try_all_possibilities :-     % Backtrack through all possibilities...
   defect_may_be(D),
   explain(D),
   fail.

defect_may_be to zapytanie do prologu…

MISSED

• upload plików java/prolog do wiki + instr obsługi + wraz z opisem rozwiązania
• model z varda, view w java, funkcjonalność z varda_model.pl (oraz ew. cześć innych predykatów) ma być udostępniania przez socket jako model, do tego jest view w javie

:pl:miw:car_expers_system_v.1.tar.gz

• http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/8_4.html
• bagof/findall
• call etc.
• Java message box types
• Trees in Java Swing