Language Prolog

Status

Beta

Versions

SWI Prolog v8.0

Test Frameworks

plunit

Example

plunit can be used normally.

add_1(X,Y) :- Y is X+1.

:- begin_tests(solution).
:- include(solution).

test(add_1) :-
        add_1(1, X),
        assertion(X == 2).

:- end_tests(solution).

The name of the solution module is inferred from the test file using the line :- begin_tests(example).. Optional preloaded code is written to preloaded.pl.

Timeout

12 seconds

Packages

None

Services

None