4
83%
master: 84%

Ran 13 Jun 2017 05:07AM UTC

Files 7

Run time 0s

Badge

Embed ▾

Committed 13 Jun 2017 04:58AM UTC coverage: 80.187% (+0.6%) from 79.538%

Job # BUILD=stack ARGS="" TESTARGS="--coverage --haddock"

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Implement a more complete logical language in Goal

This patch adds And, Or, Top, and Bottom goals in addition to the
existing Not connective. This allows us to express many first-order
logic sentences as complex goals. In particular, the conjunction which
forms the right-hand side of a predicate definition is now expressed
using And, rather than a list of goals.

This new expressivity allows users to nest disjunctions in the right-hand
side of a predicate definition (similar to Prolog's ';'), without having
to expand the definitions into multiple Horn clauses.

We also provide syntactic sugar for Top (true) and Bottom (false).

Run Details

599 of 747 relevant lines covered (80.19%)

0.8 hits per line

jbearer / hspl / 75 / 4
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 75.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 75 / 4 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 75.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 75 / 4
83%
master: 84%

README BADGES
x