diff options
Diffstat (limited to '6/main.pl')
-rw-r--r-- | 6/main.pl | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,10 +1,14 @@ +:- dynamic fw_rule/2. + :- use_module(bgp). print_warnings([]). print_warnings([W|Ws]) :- format("Warning: ~w~n", [W]), print_warnings(Ws). print_warnings :- - findall(W, bgp:warning(W), Ws), + findall(W, bgp:warning(W), BgpWs), + findall(W, firewall:warning(W), FwWs), + concat(BgpWs, FwWs, Ws), length(Ws, L), ( L > 0 ->format("Found ~w warning(s):~n", [L]), |