1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Aggregate bodies transformed incorrectly into prolog

Issue #363 resolved
Joachim Jansen created an issue

Currently aggregates are not handled correctly. A conjunction in the body of the aggregate is supposed to be transformed into a seperate predicate, but this is not formed.

Comments (3)

  2. Joachim Jansen reporter

    Fixed XSB for aggregates that contain free variables

    In XSB this means that the variable has to be bound before the aggregate is calculated. This is done in the compiler by adding the free variables of the AggTerm to the instantiated variables of the resulting (Prolog) AggregateTerm. When building this AggregateTerm into clauses, the 'instantiated variables' are made sure to be bound by first calling their sort predicate.

    This fixes bug #363

    → <<cset 35f0e730393e>>

  3. Broes De Cat

    Fixed XSB for aggregates that contain free variables

    In XSB this means that the variable has to be bound before the aggregate is calculated. This is done in the compiler by adding the free variables of the AggTerm to the instantiated variables of the resulting (Prolog) AggregateTerm. When building this AggregateTerm into clauses, the 'instantiated variables' are made sure to be bound by first calling their sort predicate.

    This fixes bug #363

    → <<cset 69b641cc0a46>>

  4. Log in to comment
Assignee
Type
bug
Priority
major
Status
resolved
Component
XSB
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!