75
83%
master: 84%

Ran 13 Jun 2017 05:07AM UTC

Jobs 1

Files 7

Run time 0s

Badge

Embed ▾

pending completion

Build # 75

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

Jobs

ID	Job ID	Ran	Files	Coverage
4	75.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	13 Jun 2017 05:07AM UTC	0	80.19	Travis Job 75.4

Source Files on build 75

Detailed source file information is not available for this build.

jbearer / hspl / 75
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 75

jbearer / hspl / 75 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 75

jbearer / hspl / 75
83%
master: 84%

README BADGES
x