%       The  executable  specification  of  Standard  Prolog (Version 1.0 (1996))
%
%                              make file
%
%   Calypso version.
%
:- set_prolog_flag(singleton_warning,off).
			% Suppress single_var_warning messages 
%:- style_check(-singleton). % Suppress single_var_warning messages (SWI Prolog)
:- dynamic(current_environment/1).
:- dynamic(max_loop_flag/1).
:- dynamic(unify_loop_flag/1).
:- dynamic(occur_check_flag/1).
:- dynamic(sto_test_flag/1).
:- dynamic(impl_dep_def_behaviour/0).
:- dynamic(error_in_goal/1).
:- dynamic(renaming_number/1).
:- dynamic(display_input_output_flag/1).
:- dynamic(syntax_error_detected/0).
:- dynamic('_goal term_'/2).
:- dynamic('_clause term_'/2).

%%%%%%%%%%%%%%%
%
%   various discontiguous predicates.
%

:- discontiguous(in_error/3).
:- discontiguous(term/4).
:- discontiguous(term_to_list_of_char/2).
:- discontiguous(treat_bip/4).
:- discontiguous(nat_ch/2).
:- discontiguous(execute_bip/3).
:- discontiguous(abstract_to_concrete_syntax/2).
:- discontiguous(treat_special_pred/4).
:- discontiguous('D-is_a_control_construct_bip'/1).
:- discontiguous('D-is_a_predication'/1).
:- discontiguous(erasepack/3).


max_loop_flag(40).

occur_check_flag(off).

display_input_output_flag(off).

unify_loop_flag(off).

sto_test_flag(off).

renaming_number(1).

:- op(700, xfx, '<--').	% To represent substitutions in Bips files.
:- op(600, xfy, '.'  ).	% List operator

:- include('exe-spec.pl').
:- include('interf.pl').
:- include('util.pl').
:- include('l-pred-c.pl').
:- include('ex-test.pl').
:- include('syntax.pl').

%:- initialization(standard_environment).

/* end of file make */
