3
83%
master: 83%

Ran 24 Jul 2018 01:44PM UTC

Files 4

Run time 9s

Badge

Embed ▾

Committed 24 Jul 2018 01:42PM UTC coverage: 78.942%. First build

Job # 83.3

Build Type

Pull #37

travis-ci

Committed by

web-flow

Commit Message

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).

Pull Request Pull Request #37: Variable.unify() method works with lists, floats & booleans...

Coverage Stats

776 of 983 relevant lines covered (78.94%)

0.79 hits per line

yuce / pyswip / 83 / 3
83%
master: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 83.3

yuce / pyswip / 83 / 3 83% master: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 83.3

yuce / pyswip / 83 / 3
83%
master: 83%

README BADGES
x