mlliarm
commented
2 years ago Tested the library with SWI-Prolog, 64 bit, v.7.6.4 and it works just fine:
Welcome to SWI-Prolog (threaded, 64 bits, version 7.6.4)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.
For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).
?- logtalk_load(loader).
% [ /home/milia/logtalk/library/types/termp.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/term.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/atomic.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/atom.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/callable.lgt loaded ]
% [ /home/milia/logtalk/library/types/characterp.lgt loaded ]
% [ /home/milia/logtalk/library/types/character.lgt loaded ]
% [ /home/milia/logtalk/library/types/number.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/float.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/integer.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/natural.lgt loaded ]
% [ /home/milia/logtalk/library/types/compound.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/pairs.lgt loaded ]
% [ /home/milia/logtalk/library/types/listp.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/list.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/list1.lgt loaded ]
% [ /home/milia/logtalk/library/types/difflist.lgt loaded ]
% [ /home/milia/logtalk/library/types/numberlistp.lgt loaded ]
% [ /home/milia/logtalk/library/types/numberlist.lgt loaded ]
% [ /home/milia/logtalk/library/types/varlistp.lgt loaded ]
% [ /home/milia/logtalk/library/types/varlist.lgt loaded ]
% [ /home/milia/logtalk/library/types/comparingp.lgt loaded ]
% [ /home/milia/logtalk/library/types/type.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/loader.lgt loaded ]
% [ /home/milia/Documents/dev/logtalk/ia/interval_arithmeticp.lgt loaded ]
% [ /home/milia/Documents/dev/logtalk/ia/interval_arithmetic.lgt loaded ]
% [ /home/milia/Documents/dev/logtalk/ia/loader.lgt loaded ]
% (0 warnings)
true.
?- logtalk_load(tester).
%
% tests started at 2022-01-10, 15:43:11
%
% running tests from object tests
% file: /home/milia/Documents/dev/logtalk/ia/tests.lgt
%
% interval_arithmetic_new_3_01: success
% interval_arithmetic_new_3_02: success
% interval_arithmetic_new_3_03: success
% interval_arithmetic_is_in_2_01: success
% interval_arithmetic_is_in_2_02: success
% interval_arithmetic_is_in_2_03: success
% interval_arithmetic_add_3_01: success
% interval_arithmetic_add_3_02: success
% interval_arithmetic_sub_3_01: success
% interval_arithmetic_sub_3_02: success
% interval_arithmetic_mul_3_01: success
% interval_arithmetic_mul_3_02: success
% interval_arithmetic_div_3_01: success
% interval_arithmetic_div_3_02: success
% interval_arithmetic_div_3_03: success
% interval_arithmetic_mid_2_01: success
% interval_arithmetic_mid_2_02: success
% interval_arithmetic_wid_2_01: success
% interval_arithmetic_wid_2_02: success
% interval_arithmetic_mag_2_01: success
% interval_arithmetic_mag_2_02: success
% interval_arithmetic_mig_2_01: success
% interval_arithmetic_mig_2_02: success
% interval_arithmetic_intersection_3_01: success
% interval_arithmetic_intersection_3_02: success
% interval_arithmetic_hull_3_01: success
% interval_arithmetic_hull_3_02: success
%
% 27 tests: 0 skipped, 27 passed, 0 failed
% completed tests from object tests
%
%
% clause coverage ratio and covered clauses per entity predicate
%
% interval_arithmetic: add/3 - 1/1 - (all)
% interval_arithmetic: (div)/3 - 1/1 - (all)
% interval_arithmetic: hull/3 - 1/1 - (all)
% interval_arithmetic: intersection/3 - 1/1 - (all)
% interval_arithmetic: is_in/2 - 1/1 - (all)
% interval_arithmetic: mag/2 - 1/1 - (all)
% interval_arithmetic: mid/2 - 1/1 - (all)
% interval_arithmetic: mig/2 - 1/1 - (all)
% interval_arithmetic: mul/3 - 1/1 - (all)
% interval_arithmetic: new/3 - 1/1 - (all)
% interval_arithmetic: sub/3 - 1/1 - (all)
% interval_arithmetic: wid/2 - 1/1 - (all)
% interval_arithmetic: 12 out of 12 clauses covered, 100.000000% coverage
%
% 1 entity declared as covered containing 12 clauses
% 1 out of 1 entity covered, 100.000000% entity coverage
% 12 out of 12 clauses covered, 100.000000% clause coverage
%
% tests ended at 2022-01-10, 15:43:11
%
true.Related commit: 44a7f0d1a78dd74dd4bbd7051ff4ce7b70a5a98c.
Here I'll write the future ideas that I have so far for this project.
Core features:
Examples
Additional features:
interval_arithmeticlibrary.X^n, where X is an intervali(a,b)andnis a number. Use recursion.Neumaier'sbook looks good for such purpose as it's more mathematically strict comparing toMoore's.Shary'spaper, orHansen'sbook.Additional ideas are welcome.