formatting

vangelisv · Jul 18, 2009 · 1d23037 · 1d23037
1 parent 2cbc282
commit 1d23037
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/owl2_to_progol.pl b/owl2_to_progol.pl
@@ -42,7 +42,10 @@
 % writes:
 % =|has_disease_type(human1,alzheimers). ... disease_type(alzheimers)|=
 write_progol_facts(Head,Goal,TypeDecl) :-
+        format('% Type declarations:~n'),
         setof(TypeDecl,Goal^Goal,TypeDecls),
+        nl,
+        format('% Facts:~n'),
         forall(member(TypeDecl,TypeDecls),
                format('~q.~n',[TypeDecl])),
         forall(Goal,format('~q.~n',[Head])).