yuce / pyswip / 83

83%

Pull #37

travis-ci

Added a test file that shows examples with four foreign predicates:
The first one : predecessors(X, L), for an integer X returns a list containing the integers from 0 to X-1. (Unifies L with the python list)
The second one : tareksFather(X, Y). true if X == "tarek" && Y == "hocine", (if free variables given, unifies them with python strings).
The third one : isTrue(X). true if X is a boolean equals to True. (if free variable given, unifies it with the python True value).
The fourthe one : isPi(X). true if X is a float equal to Pi. (if free variable given, unifies it with the python math.pi float value).

18 of 18 new or added lines in 2 files covered. (100.0%)

776 of 983 relevant lines covered (78.94%)

3.16 hits per line