25 lines
674 B
Plaintext
25 lines
674 B
Plaintext
|
%%% -*- Mode: Prolog; -*-
|
||
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||
|
|
% printing functions used for problog_help and problog_flags
|
||
|
|
% collected here to have formatting at one place
|
||
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||
|
|
|
||
|
|
:- module(print, [print_param/4,
|
||
|
|
print_sep_line/0,
|
||
|
|
print_inference/2]).
|
||
|
|
|
||
|
|
print_param(Keyword,Value,Function,Legal) :-
|
||
|
|
format(user,'~w~55+~q~15+~w~30+~w~25+~n',[Keyword,Value,Function,Legal]).
|
||
|
|
print_sep_line :-
|
||
|
|
sep_line(125).
|
||
|
|
sep_line(0) :-
|
||
|
|
!,
|
||
|
|
format('~n',[]).
|
||
|
|
sep_line(N) :-
|
||
|
|
format('-',[]),
|
||
|
|
NN is N-1,
|
||
|
|
sep_line(NN).
|
||
|
|
|
||
|
|
print_inference(Call,Description) :-
|
||
|
|
format(user,'~w~65+~w~60+~n',[Call,Description]).
|