Delete problog_model.pl

problog_model.pl

@@ -1,21 +0,0 @@
-% problog_model.pl
-% ProbLog program for infrastructure reliability.
-
-% 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 rules
-failure(Serv) :- connected(Serv, Switch), failure(Switch).
-failure(Serv) :- depends(Serv, Parent), failure(Parent).
-
-% Prior probabilities (example)
-0.1 :: fails(switch-1).
-0.05 :: fails(server-1).
-
-% Query
-query(failure(X)).