/*syn2.pro*/

/*synonym(A,A).*/


synonym(list, show).
synonym(list, display).
synonym(show,print).
synonym(directory,folder).
synonym(directory,path).


command(ls, list, Z,files).
command(du, show, used, disk).
command(df, show, free, space).
command(env, show, Z, enivronment).
command(cd, change, Z, directory).

issyn(A,A).
issyn(A,B) :- synonym(B,A).
issyn(A,B) :- synonym(A,B).
issyn(A,B) :- synonym(A,C), synonym(C,B).
issyn(A,B) :- synonym(C,A), synonym(C,B).
issyn(A,B) :- synonym(A,C), synonym(B,C).
issyn(A,B) :- synonym(C,A), synonym(B,C).


thecomm(C,V,D,O) :- command(C,V1,D1,O1),issyn(V,V1),issyn(D,D1), issyn(O,O1),
	write(C).
/*issyn(A,B) :- issyn(A,C), issyn(B,C).*/
/*synonym(A,B) :- synonym(B,A).*/
/*synonym(A,C) :- synonym(A,B), synonym(B,C).*/