Uso do corretor ortográfico – aspell pt_BR

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

Ler o post por completo »

Uso do corretor ortográfico – aspell em inglês

Na linha de comando:
aspell check –sug-mode=bad-spellers -d en_US nome_do_arquivo.tex

Ler o post por completo »

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).

Ler o post por completo »

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 [...]

Ler o post por completo »