Use of a distributed body section

Module import_big		Alternative module import_impl (depends from implementation)

• import_several_bodies contains two body section parts of different modules.
• Body section of module import_big is implemented with parts in three files.
• Body section of module import_impl can be alternatively implemented with the body section part from file import_several_bodies or from file import_impl2
  (useful, if different systems need alternative implementations).
• The interface section in the corresponding module file (import_big, import_impl)
  

  File import_big.pl	File import_several_bodies.pl	File import_impl.pl
  File import_big_too.pl		File import_impl2.pl

• All clauses of module import_big will be checked if TYPICAL is called for on of the three files.
• Clauses of one implementation variant of module import_impl will be checked if TYPICAL is called for file import_several_bodies of for file import_impl2 alternatively

Module import_big and module import_impl in the first variant

Output of type checking ( import_several_bodies.tap)

Module import_impl in the second variant

Output of type checking ( import_impl2.tap)

PREV: Imports from a file

NEXT: Case-study: container