Add working examples to PLDoc

[EricGT]

Paul,

I split the topic out. Feel free to change the title.

Others,

Note: This topic started from a question by joeblog

Does PLDoc have a way to incorporate unit tests akin to Python's doctest?

Does PLDoc have something akin to Python’s doctest, ie a way to include simple examples when describing what a function does, which double as unit tests? In prolog, this might look something like this %% sort(+List, -Sorted) % True if Sorted can be unified ... % % ?- sort([4,3,1,2], Sorted). % Sorted = [1, 2, 3, 4]. % .... The example in the comment would be ignored unless an option (in Python’s case -v) is used when the script is run. I think having a feature like this is nifty for at least…