ANNOTATION_FUNCTOR

The functor of ProbLog's probability-annotation operator, ::, used to attach a probability to a clause's or fact's head (e.g. 0.3::burglary. states that burglary holds with probability 0.3). Theories parsed with PROBLOG_OPERATORS in scope (see ProblogSolverFactory.defaultBuiltins) recognize this operator.