next up previous contents
Next: Transformed Program Up: Failure Model (fm) universe Previous: RM- MCMC   Contents

SLP Program 

1/2 :: p( a ).
1/2 :: p( X ) :- q(X), t(X).

1/3 :: q( b ).
2/3 :: q( c ).

1 :: t(c).

do_trace( b ) :- trace.
do_trace( c ) :- true.


Nicos Angelopoulos 2008-06-02