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.