:- test charge(N)
=> (N = 0 ; N = + ; N = ++ ; N = +++ ; N = ++++ ; N = + ; N = +++++ ; N = ++++++ ; N = +++++++)
(not_fails, example) # "Example of a charge".
Where there are multiple solutions sepparated by a ";", if you try to generate the documentation, lpdoc does not recognize
multiple solutions to mark as a property when doing EXIT, so instead it gives the error:
unknown property N=0;N=(+);... in assertion for charge(N).
When doing a test of the form:
:- test charge(N) => (N = 0 ; N = + ; N = ++ ; N = +++ ; N = ++++ ; N = + ; N = +++++ ; N = ++++++ ; N = +++++++)
Where there are multiple solutions sepparated by a ";", if you try to generate the documentation, lpdoc does not recognize multiple solutions to mark as a property when doing EXIT, so instead it gives the error: unknown property N=0;N=(+);... in assertion for charge(N).