:- module(dialogue_manager,
	[initial_dialogue_state/1,
	 update_dialogue_state/4]
    ).

%======================================================================

:- use_module(library(lists)).

%======================================================================

initial_dialogue_state([

	obj(human,lost),
	obj(friend,lost),
	obj(victim,lost)
	
		]).
	      

%======================================================================

% DIALOGUE MANAGEMENT

update_dialogue_state(Move, InS, AbsAct, OutS) :-
	findall([SomeAbsAct, SomeOutS],
		possible_update(Move, InS,
				SomeAbsAct, SomeOutS),
		Pairs),
	update_state1(Move, Pairs, InS, AbsAct, OutS),
	!.

update_dialogue_state(_Move, _InS, _AbsAct, _OutS) :-
	format('~N~nUnable to update.~n', []),
	fail.


update_state1(Move, Pairs, InS, AbsAct, OutS) :-
	Move = [ynq | _Pattern],
	Pairs = [],
	AbsAct = say(no),
	InS = OutS,
	!.
update_state1(Move, Pairs, InS, AbsAct, OutS) :-
	Move = [imp | _Pattern],
	Pairs = [],
	AbsAct = say(unable_to_interpret),
	InS = OutS,
	!.
update_state1(_Move, Pairs, _InS, AbsAct, OutS) :-
	Pairs = [[SingleAbsAct, SingleOutS]],
	AbsAct = SingleAbsAct,
	OutS = SingleOutS,
	!.

update_state1(_Move, Pairs, InS, AbsAct, OutS) :-
	length(Pairs, NPossibleAbsActs),
	NPossibleAbsActs > 1,
	AbsAct = say(ambiguous),
	InS = OutS,
	!.

%ACTIONS ----------------------------------------------------------------------

%Move =
%		[DoOrQuery, Action, Shape, Direction, Rotation,
%            obj(Object,LostOrFound),Location, Cardinal, Weapon]
%		

%QUERIES

possible_update([ynq, _Action, _Shape, _Direction, _Rotation, Pattern, _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	member(Pattern, InS),
	AbsAct = say(Pattern),
	OutS = InS.



%ACTIONS RELATED TO INTERACTING WITH FOUND OBJECTS

possible_update([imp, surround, _Shape, _Direction, _Rotation, obj(Object, found), _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([surround, Object]),
	OutS = InS.

possible_update([imp, point, _Shape, _Direction, _Rotation, obj(Object, found),_Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([point, Object]),
	OutS = InS.

possible_update([imp, circle, _Shape, _Direction, _Rotation, obj(Object, found), _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([circle, Object]),
	OutS = InS.
	
	
	




%ACTIONS RELATED TO MAKING SHAPES

possible_update([imp, make, Shape, _Direction, _Rotation, _Pattern, _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([make, Shape]),
	OutS = InS.







%ACTIONS RELATED TO MOTION


possible_update([imp, move, _Shape, Direction, _Rotation, _Pattern, _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([move, Direction]),
	OutS = InS.
	
possible_update([imp, move, _Shape, _Direction, _Rotation, _Pattern, _Location, Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([move, Cardinal]),
	OutS = InS.

possible_update([imp, move, _Shape, _Direction, _Rotation, obj(Object,found), _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([move, Object]),
	OutS = InS.

possible_update([imp, rotate, _Shape, Direction,_Rotation, _Pattern, _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([face, Direction]),
	OutS = InS.

possible_update([imp, rotate, _Shape, _Direction, _Rotation, _Pattern, _Location, Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([face, Cardinal]),
	OutS = InS.

possible_update([imp, rotate, _Shape, _Direction, _Rotation, obj(Object,found), _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([face, Object]),
	OutS = InS.	

possible_update([imp, go, _Shape, _Direction, _Rotation, _Pattern, _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([move]),
	OutS = InS.





%ACTION TO STOP ACTION (Dept. of Redundancy Dept.)

possible_update([imp, stop, _Shape, _Direction, _Rotation, _Pattern, _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([stop]),
	OutS = InS.
	
possible_update([imp, reset,_Shape, _Direction, _Rotation, _Pattern, _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([reset]),
	OutS = InS.	
	





%ACTIONS FOR OUR AMUSEMENT

possible_update([imp, fire, _Shape, _Direction, _Rotation, _Pattern, _Location, _Cardinal, Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([fire, Weapon]),
	OutS = InS.

/*
possible_update([imp, attack_formation_delta, _Rest], InS, AbsAct, OutS) :-
	AbsAct = say([attack_formation_delta]),
	OutS = InS.	
*/




%ACTIONS RELATED TO FINDING OBJECTS

possible_update([imp, find, _Shape, _Direction, _Rotation, obj(Object, lost), _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([find, Object]),
	OutS = InS.

possible_update([imp, lose, _Shape, _Direction, _Rotation, obj(Object, found), _Location, _Cardinal, _Weapon], InS, AbsAct, OutS) :-
	AbsAct = say([lose, Object]),
	OutS = InS.

apply_pattern([obj(Object, OldLostOrFound) | R],
	      obj(Object, LostOrFound), AbsAct, 
	      [obj(Object, LostOrFound) | R]) :-
	dif([OldLostOrFound], [LostOrFound]),
	AbsAct = say(obj(Object, LostOrFound)).
	

apply_pattern([F | OldR], Pattern, AbsAct, [F | NewR]) :-
	apply_pattern(OldR, Pattern, AbsAct, NewR).

update_state_from_pattern([F | OldR], Pattern, AbsAct, [F | NewR]) :-
	update_state_from_pattern(OldR, Pattern, AbsAct, NewR).