Publicado em Prolog em 29 - Junho - 2009 | 3 Comentários »
Um tutorial sobre Prolog e Eclipse (uma ferramenta para Programação em Lógica por Restrições).
Sempre procuro manter uma versão atualizada em :
http://www2.joinville.udesc.br/~coca/cursos/ic/material_de_prolog/slides_curso_prolog.pdf
http://www2.joinville.udesc.br/~coca/cursos/ic/material_de_prolog/slides_curso_prolog.pdf
Agradeço os comentários de retorno, com sugestões e possíveis deslizes.
Envie um retorno….
cc
Publicado em Prolog em 2 - Julho - 2008 | Deixar um comentário »
?- 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).
Publicado em Prolog em 1 - Julho - 2008 | Deixar um comentário »
?- 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 [...]
Publicado em Prolog em 23 - Junho - 2008 | Deixar um comentário »
% Data: 3/05/2008
:- use_module(library(clpfd)).
:- dynamic todas_pecas/1.
init:- todas_pecas(L), assert(todas_pecas(L)), nl, write(L), length(L,X),nl,
write(‘Total of Pairs: ‘), write(X), nl, write(‘Pairs OK’).
some_pieces(N, Init_Piece ) :-
depth_search(N, [ Init_Piece ], Solution), %% initial piece
reverse(Solution,Inv_Sol), nl,
w_pieces(Inv_Sol), nl, write(‘Total of pieces :: ‘), write(N).
many_sets :- findall(Solution, depth_search(1, [ (7,8,9) ] , Solution), L),
length(L,X),
write(L),nl,
write(‘Total of sets :: ‘), write(X).
/*
Condição de Parada, [...]
