% File 'import_several_bodies.pl'
%----
% file belongs to example import_big and import_impl
% (comment at the end of file)

:- tap_body(import_big,[import_big_too, import_several_bodies, import_big]). 
                                 	%_______begin_body_section_part______
big3(3,5).

big4(hallo, bye) :- big1(3, hallo), big2(hallo).

:- tap_body_end(import_big). 		%_______end_body_section_part_______



:- tap_body(import_impl,[import_impl]). %_______begin_body_section_part______

impl2(A, B, A_new, B_new) :- A < B, !,
	                     A_new = A, B_new = B.
impl2(A, B, A_new, B_new) :- A_new = B, B_new = A.

:- tap_body_end(import_impl).           %_______end_body_section_part_______


%-------------------------------------------------------------


% This file contains two body section parts of different modules. 
% It is useful to have a container file like this one, if you have several 
% short body parts which you want to hold together.
%
% body section part import_big belongs to example import_big
% body section part import_impl belongs to example import_impl
% (please see in the corresponding module file of these examples 
%  for further information)
