Discussion :

[Eusebius]

Bonjour,

Pour mesurer expérimentalement la complexité algorithmique d'un programme prolog, je regarde le nombre d'unifications qu'il a fallu pour mener à bien son exécution (stats données par SWI) en fonction des paramètres variables.
Est-ce une bonne mesure ? Est-ce que c'est vraiment proportionnel au nombre "d'opérations élémentaires" ?

Merci d'avance

[Trap D]

Je n'ai pas de réponse à ta question mais j'ai remarqué que le nombre d'inférences pour mesurer l'efficacité d'un algorithme n'était pas suffisant.
Quand j'ai écrit mon article sur Fibonacci, j'ai remarqué qu'une des méthodes était plus longue qu'une autre en terme de nombre d'inférences mais plus rapide en temps d'exécution, alors comment conclure ?
Ce n'est peut-être qu'une question d'implémentation des opérations éllémentaires de Prolog, mais quand même.

[Eusebius]

Je n'ai pas de réponse à ta question mais j'ai remarqué que le nombre d'inférences pour mesurer l'efficacité d'un algorithme n'était pas suffisant.
Quand j'ai écrit mon article sur Fibonacci, j'ai remarqué qu'une des méthodes était plus longue qu'une autre en terme de nombre d'inférences mais plus rapide en temps d'exécution, alors comment conclure ?
Ce n'est peut-être qu'une question d'implémentation des opérations éllémentaires de Prolog, mais quand même.

Bon, ben c'est déjà un élément de réponse. Tu as utilisé d'autres indicateurs ?

[Trap D]

Non
J'avais posé la question sur la liste SWI-Prolog, mais, peut être était-elle mal formulée, je n'ai eu aucune réponse.

Tu as aussi l'outil profile, qui donne des statistiques, je pense que tu connais.