object

# `body_goal_negation(Entity,Predicate,ClauseIndex,Occurrence,PrintMutation)`

- `Entity` - Identifier of the entity being mutated.

- `Predicate` - Predicate or non-terminal indicator selecting clauses to mutate.

- `ClauseIndex` - 1-based clause index for the selected mutation (equal to `Occurrence` for this mutator).

- `Occurrence` - 1-based mutation occurrence index to target within selected predicate clauses.

- `PrintMutation` - Boolean flag to print the original and mutated term plus source location.

Hook object implementing the body_goal_negation mutator by negating matching predicate clause bodies.

Availability:
`logtalk_load(mutation_testing(loader))`
Author: Paulo Moura
Version: 1:0:0
Date: 2026-03-20
Compilation flags:
`static, context_switching_calls`
Implements:
`public` expanding
`public` clause_mutator_protocol
Imports:
`public` mutator_common
Remarks:
(none)
Inherited public predicates:
coverage_clause_mutator/0 goal_expansion/2 mutation/2 reset/0 term_expansion/2

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)