Prolog "suite"

Admin User, erstellt 27. Nov. 2024
         /**
          * The Prolog text that defines the test suite.
          *
          * Warranty & Liability
          * To the extent permitted by applicable law and unless explicitly
          * otherwise agreed upon, XLOG Technologies AG makes no warranties
          * regarding the provided information. XLOG Technologies AG assumes
          * no liability that any problems might be solved with the information
          * provided by XLOG Technologies AG.
          *
          * Rights & License
          * All industrial property rights regarding the information - copyright
          * and patent rights in particular - are the sole property of XLOG
          * Technologies AG. If the company was not the originator of some
          * excerpts, XLOG Technologies AG has at least obtained the right to
          * reproduce, change and translate the information.
          *
          * Reproduction is restricted to the whole unaltered document. Reproduction
          * of the information is only allowed for non-commercial uses. Selling,
          * giving away or letting of the execution of the library is prohibited.
          * The library can be distributed as part of your applications and libraries
          * for execution provided this comment remains unchanged.
          *
          * Restrictions
          * Only to be distributed with programs that add significant and primary
          * functionality to the library. Not to be distributed with additional
          * software intended to replace any components of the library.
          *
          * Trademarks
          * Jekejeke is a registered trademark of XLOG Technologies AG.
          */
         
         % env(-Atom, -Atom)
         :- discontiguous(env/2).
         env(test, 'reference/').
         env(title, 'Reference').
         
         :- multifile(runner_folder/2).
         :- discontiguous(runner_folder/2).
         
         :- multifile(runner_file/3).
         :- discontiguous(runner_file/3).
         
         :- multifile(runner_pred/5).
         :- discontiguous(runner_pred/5).
         
         :- multifile(runner_case/5).
         :- dynamic(runner_case/5).
         :- discontiguous(runner_case/5).
         
         runner_folder(arithmetic, '').
         :- include('arithmetic/basic.p').
         :- include('arithmetic/bitwise.p').
         :- include('arithmetic/eqless.p').
         :- include('arithmetic/moddiv.p').
         :- include('arithmetic/sincos.p').
         
         runner_folder(control, '').
         :- include('control/data.p').
         :- include('control/kernel.p').
         :- include('control/logical.p').
         :- include('control/pred.p').
         
         runner_folder(extra, '').
         :- include('extra/exec.p').
         :- include('extra/intnum.p').
         :- include('extra/paths.p').
         :- include('extra/struc.p').
         :- include('extra/update.p').
         
         runner_folder(stream, '').
         :- include('stream/dcg.p').
         :- include('stream/number.p').
         :- include('stream/read.p').
         :- include('stream/text.p').
         
         runner_folder(structure, '').
         :- include('structure/compare.p').
         :- include('structure/intatom.p').
         :- include('structure/logue.p').
         :- include('structure/string.p').
         :- include('structure/term.p').
Prolog "suite"

Herunterladen
