Tests unitaires dans XSB Prolog?

Question

Comment les gens qui travaillent avec XSB Prolog faire des tests unitaires? Y at-il une bibliothèque disponible? Ou est-il possible d'utiliser en quelque sorte la bibliothèque plunit de SWI-Prolog XSB?

S'il n'y a pas une bibliothèque de tests disponibles pour XSB (ou d'autres Prologs pas compatibles avec plunit), peut-être une variante de cette question pourrait être: Comment tester votre code Prolog? Utilisez-vous un modèle favori pour le tester?

Answer 1

Après un peu de recherche, j'ai décidé de donner un essai à lgtunit (http://logtalk.org/library/lgtunit_0.html), une bibliothèque de Logtalk pour les tests unitaires.

Je l'ai trouvé assez facile à utiliser et à ce que je cherchais. Vous trouverez un tutoriel ici: http://blog.logtalk.org/2011/03/ écriture-tests unitaires-en-Logtalk /