%%%
%%% version 2.05.3
%%%   initial version
%%% version 2.05.4
%%%   added banner to Quintus version
%%% version 2.05.8
%%%   added quintus_compile_options
%%%

%%%
%%% Specific code for Quintus Prolog.
%%%

%%%
%%% Initialization.
%%%
    :- initialization(unknown(_,fail)).

%%%
%%% Cputime/1.
%%%
    cputime(X) :-
      statistics(runtime,[Y,_]),
      X is Y/1000.

%%%
%%% Floor/2.
%%%
    floor(X,Y) :-
      X < 0,
      !,
      Y is integer(X) - 1.
    floor(X,Y) :-
      Y is integer(X).

%%%
%%% Not/1.
%%%
    not(X) :-
      \+ X.

%%%
%%% Quintus_banner/0.
%%%
    quintus_banner :-
      clin_version(Version),
      nl, tab(15),write('WELCOME TO CLIN '),
      write(Version),nl,
      write('(c) 1991 by Geoff Alexander, Shie-Jue Lee, and David Plaisted'),
      nl,nl,nl,
      !.