search

knowsys / rulewerk

Java library based on the VLog rule engine
Apache License 2.0
32 stars 13 forks source link

add class Piece #195

Open larry-gonzalez opened 3 years ago

larry-gonzalez commented 3 years ago

A piece of a rule is a subset of the rule head atoms s.t. all atoms in it are linked by some existentially quantified variable.

In this pull request are implemented Piece and PieceImp, both in core module. Piece has an attribute Conjunction (of PositiveLiterals)