eyeprolog 0.5.13 → 0.5.14
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/examples/auroracare.pl +26 -0
- package/examples/bmi.pl +20 -1
- package/examples/cdcl-sat-solver.pl +6 -6
- package/examples/composition-of-injective-functions-is-injective.pl +4 -1
- package/examples/deep-taxonomy-10.pl +2 -0
- package/examples/deep-taxonomy-100.pl +2 -0
- package/examples/deep-taxonomy-1000.pl +2 -0
- package/examples/deep-taxonomy-10000.pl +2 -0
- package/examples/exoplanet-validation-worlds.pl +3 -0
- package/examples/family-cousins.pl +2 -0
- package/examples/fastpow.pl +6 -6
- package/examples/flandor.pl +14 -0
- package/examples/gd-step-certified.pl +3 -0
- package/examples/group-inverse-uniqueness.pl +9 -9
- package/examples/illegitimate-reasoning.pl +6 -0
- package/examples/input/odrl-dpv-fpv-trust-flow-rules.pl +3 -9
- package/examples/list-collection.pl +6 -6
- package/examples/lldm.pl +2 -0
- package/examples/odrl-dpv-fpv-trust-flow.pl +3 -9
- package/examples/output/bmi.pl +9 -0
- package/examples/output/list-collection.pl +5 -5
- package/examples/pointer-analysis.pl +3 -0
- package/examples/proof/composition-of-injective-functions-is-injective.pl +80 -97
- package/examples/proof/group-inverse-uniqueness.pl +4 -4
- package/examples/proof/list-collection.pl +63 -19
- package/examples/proof/spacecraft-battery-diagnosis.pl +8 -8
- package/examples/relational-cube-lookup.pl +2002 -2000
- package/examples/riemann-hypothesis.pl +5 -0
- package/examples/spacecraft-battery-diagnosis.pl +8 -8
- package/examples/vulnerability-impact.pl +4 -0
- package/package.json +1 -1
|
@@ -11,6 +11,11 @@
|
|
|
11
11
|
%% goal: zero_check(X0, X1, X2)
|
|
12
12
|
|
|
13
13
|
|
|
14
|
+
:- discontiguous(zeta_zero/1).
|
|
15
|
+
:- discontiguous(real_part/2).
|
|
16
|
+
:- discontiguous(imaginary_part/2).
|
|
17
|
+
:- discontiguous(source/2).
|
|
18
|
+
|
|
14
19
|
% --- Sample zero catalogue -------------------------------------------------
|
|
15
20
|
%
|
|
16
21
|
% The three z* entries stand for catalogued non-trivial zeros of the
|
|
@@ -23,14 +23,14 @@ telemetry(bp1, cell_delta_v, 0.19).
|
|
|
23
23
|
redundant_telemetry(bp1, temperature_c, 76.0).
|
|
24
24
|
|
|
25
25
|
% Illustrative engineering limits and available cooling power.
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
26
|
+
safety_limit(max_safe_temperature_c, 60.0).
|
|
27
|
+
safety_limit(max_temperature_rise_c_per_min, 1.5).
|
|
28
|
+
safety_limit(max_cell_delta_v, 0.08).
|
|
29
29
|
cooling_capacity_w(bp1, 12.0).
|
|
30
30
|
|
|
31
31
|
% Thermal margin is positive below the limit and negative above it.
|
|
32
32
|
metric(Pack, thermal_margin_c, Margin) :-
|
|
33
|
-
|
|
33
|
+
safety_limit(max_safe_temperature_c, Maximum),
|
|
34
34
|
telemetry(Pack, temperature_c, Temperature),
|
|
35
35
|
(Margin is Maximum - Temperature).
|
|
36
36
|
|
|
@@ -43,17 +43,17 @@ metric(Pack, resistive_heating_w, Heating) :-
|
|
|
43
43
|
|
|
44
44
|
over_temperature(Pack) :-
|
|
45
45
|
telemetry(Pack, temperature_c, Temperature),
|
|
46
|
-
|
|
46
|
+
safety_limit(max_safe_temperature_c, Maximum),
|
|
47
47
|
(Temperature > Maximum).
|
|
48
48
|
|
|
49
49
|
rapid_heating(Pack) :-
|
|
50
50
|
telemetry(Pack, temperature_rise_c_per_min, Rate),
|
|
51
|
-
|
|
51
|
+
safety_limit(max_temperature_rise_c_per_min, Maximum),
|
|
52
52
|
(Rate > Maximum).
|
|
53
53
|
|
|
54
54
|
cell_imbalance(Pack) :-
|
|
55
55
|
telemetry(Pack, cell_delta_v, Delta),
|
|
56
|
-
|
|
56
|
+
safety_limit(max_cell_delta_v, Maximum),
|
|
57
57
|
(Delta > Maximum).
|
|
58
58
|
|
|
59
59
|
heating_exceeds_cooling(Pack) :-
|
|
@@ -65,7 +65,7 @@ heating_exceeds_cooling(Pack) :-
|
|
|
65
65
|
corroborated_over_temperature(Pack) :-
|
|
66
66
|
telemetry(Pack, temperature_c, Primary),
|
|
67
67
|
redundant_telemetry(Pack, temperature_c, Redundant),
|
|
68
|
-
|
|
68
|
+
safety_limit(max_safe_temperature_c, Maximum),
|
|
69
69
|
(Primary > Maximum),
|
|
70
70
|
(Redundant > Maximum).
|
|
71
71
|
|