1:- use_module(library(pita)). 2:- if(current_predicate(use_rendering/1)). 3:- use_rendering(c3). 4:- use_rendering(graphviz). 5:- use_rendering(table,[header(['Multivalued variable index','Rule index','Grounding substitution'])]). 6:- endif. 7 8:- pita. 9 10:- begin_lpad. 11 12map_query eruption : 0.6; earthquake : 0.3 :- 13 sudden_energy_release, fault_rupture(_). 14map_query sudden_energy_release : 0.7. 15map_query fault_rupture(southwest_northeast) : 0.6. 16map_query fault_rupture(east_west) : 0.55. 17 18:- end_lpad.