/* vim: set filetype=prolog : */

:- [thrash,xml].
:- dynamic pow/1.


pows(X) :-
	retractall(pow(_)),
	assert(pow(X)).

eg(1) :- mw(X), print(X).

mw(mw(Psu,Heating,Timer)) :-
	psu(Psu),
	heating(Heating),
	timer(Timer).


display(X) :- display1(X).

display1(lcd) :- pow(low).
display1(crt) :- pow(hi).

timer(X) :- one(timer1(X)).
timer1([]).
timer1([tictoc]).

psu(X) :- one(psu1(X)).
psu1(volts(220)).
psu1(volts(110)).

heating(X) :- one(heating1(X)).
heating1(high).
heating1(low).