% ---------------------------------------------------------------------------
domains
i = integer
str = string
c = char
s = symbol
% ---------------------------------------------------------------------------
database - ops
ops(str, str, i) %% ops(opc, archivo, longitud)
database - cont
cont(i) %% cont(contador)
predicates
desp
inc_cont
% ---------------------------------------------------------------------------
clauses
desp:-
ops(Opc,_,_), Opc >< "", cont(Con), Con + 4 = Ren,
cursor(Ren,5), write(Opc), inc_cont, fail.
desp:- !.
inc_cont:-
cont(C), C + 1 = C1, retractall(_,cont),
asserta(cont(C1),cont), !.
% ---------------------------------------------------------------------------
goal
makewindow(1,7,0,"",0,0,25,80),
cursor(1,1), write("---------------------------------------------------------------------------"),
consult("opc.pro",ops), retractall(_,cont), asserta(cont(1),cont), desp,
cursor(18,1), write("---------------------------------------------------------------------------"),
cursor(16,1), write("---------------------------------------------------------------------------"),
readchar(_).