Discussion :

[egu07]

Bonjour,

Je dispose de SWI-prolog.
Je souhaite mesurer le temps d'exécution d'un but donné.
Pour cela, je désire afficher l'heure système avant et après, du style :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

heureSys(X), write(X), monBut(Y), write(Y), heureSys(Z), write(Z).

J'ai recherché dans la doc de SWI-Prolog; j'ai bien trouvé des choses mais impossible de les mettre en ouvre. D'une manière générale, je trouve que cette doc manque cruellement d'exemples concrets. C'est pourquoi je me tourne vers vous.

Merci beaucoup.

[gorgonite]

et cela ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
profile(but(Y)).

[egu07]

Merci beaucoup ! Les résultats du profiler sont très intéressants.
Ils sont présentés dans une interface graphique spécifique.

Néanmoins, mon application va traiter une série de but dans la foulée (plusieurs heures durant), et je souhaite connaitre le temps passé par but unitaire.
C'est pourquoi je suis à la recherche d'une manière de chronométrer chaque but isolément et disposer en sortie des temps associés à chaque but.
Alors, j'ai pensé tracer l'heure de debut puis l'heure de fin en utilisant l'heure système ou autre.

[gorgonite]

get_time ?

http://gollem.science.uva.nl/SWI-Pro...al/system.html

[egu07]

Voici la réponse trouvée grâce à vous :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
ecrireHeureSysteme :- get_time(X),stamp_date_time(X,Date,0),
date_time_value(hour,Date,Heure),date_time_value(minute,Date,Minute),
Z is (Heure+2),
write(Z),write(':'),write(Minute).

le +2, c'est pour indiquer l'heure française.
Je n'ai pas trouvé la solution pour une conversion en heure locale.

[Trap D]

Essaye ceci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
ecrireHeureSysteme :- 
	get_time(X),
	format_time(atom(Str),'%H:%M:%S ', X),
	writeln(Str).

Sortie

14 ?- ecrireHeureSysteme.
09:39:09

Yes

Encore pluz court :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
ecrireHeureSysteme :- 
	get_time(X),
	format_time(atom(Str),'%x %X ', X),
	writeln(Str).

Sortie :

19 ?- ecrireHeureSysteme.
30/09/08 09:52:48

Yes

Le système utilise les "préférences" d'écriture de ton ordi.

[egu07]

Merci beaucoup. C'est exactement ce que je cherchais. Je crois que ce sujet peu maintenant être cloturé.

PS : Je trouve que la doc fournie avec SWI-Prolog est détaillée mais peu documentée en terme d'exemples concrets. Existe t-il un site avec des exemples concrets des règles apportées par SWI-Prolog ?

[Trap D]

Hélas non ! et je suis d'accord avec toi c'est un manque.

[Alp]

Ce serait une bonne idée d'ajouter ca aux sources Prolog non ? :-)

[Trap D]

Oui mais c'est plus de l'usage de SWI-Prolog que du Prolog pur.

Je trouve que la doc fournie avec SWI-Prolog est détaillée mais peu documentée en terme d'exemples concrets.

Est-ce vraiment à nous de répondre à ce manque ?
Perso celà ne me déplait pas j'adore fouiller les docs et tester des trucs et des machins, mais encore une fois est-le rôle de ce forum ? Et à mon avis, c'est plus un "How to do" que des sources pures. J'avais déjà pensé à ce genre de rubriques, elle serait alimentée par les questions des forumeurs.