Create problog_model.pl

problog_model.pl

@@ -1,17 +1,19 @@
 % problog_model.pl
-% Component facts (will be asserted dynamically)
-:- dynamic component/2, depends/2, connected/2.
+% ProbLog program for infrastructure reliability.
 
-% Failure rules
+% Dynamic facts (will be asserted from Python)
+:- dynamic component/2, connected/2, depends/2.
+
+% Failure rule for any component
 failure(C) :- component(C, switch), fails(C).
 failure(C) :- component(C, server), fails(C).
 failure(C) :- component(C, service), fails(C).
 
-% Propagation
+% Propagation rules
 failure(Serv) :- connected(Serv, Switch), failure(Switch).
 failure(Serv) :- depends(Serv, Parent), failure(Parent).
 
-% Probabilistic facts (priors)
+% Prior probabilities (example)
 0.1 :: fails(switch-1).
 0.05 :: fails(server-1).