NAME

Logic::Probabilistic::PFact - Represents an independent probabilistic fact.

SYNOPSIS

use Logic::Probabilistic::PFact;

my $fact = Logic::Probabilistic::PFact->new(
    probability => 0.01,
    predicate   => 'burglary',
    args        => [],
);

DESCRIPTION

Logic::Probabilistic::PFact models an independent Bernoulli random variable under the Distribution Semantics. When true in a possible world, its associated Logic::Relational::Clause is asserted into the relational program.