Uso do corretor ortográfico – aspell pt_BR

aspell – -sug-mode=bad-spellers – -lang=pt_BR -d pt_BR check NQueens.tex

Anúncios

Usando o statistics do Prolog – cputime

?- statistics( cputime , X1), format(‘\t ~f’,[X1]), statistics( cputime , X2), format(‘\t ~f’,[X2]), Z is X2 -X1, write(Z).
0,860000 0,8600000.0
X1 = 0.86,
X2 = 0.86,
Z = 0.0.

Para outras opções consulte:

?- help(statistics/2).

por Claudio Cesar de Sá Postado em Prolog

Usando o predicado format do Prolog

?- format(‘ Uma saida ~w \t outra ~f xx ~a yy ~s ~n ‘, [2,4.5, ‘z’, “aba”]).
Uma saida 2 outra 4,500000 xx z yy aba

?- format(‘ Uma saida ~w ‘, [[1,2,3,3]]).
Uma saida [1, 2, 3, 3]

?- format(‘Faz cálculos tais como ~f ~f ~f ~f’, [3/10,100/100, 999/100,1111/100] ).
Faz cálculos tais como 0,300000 1,000000 9,990000 11,110000

por Claudio Cesar de Sá Postado em Prolog