Skip to content

Commit

Permalink
using log:explains instead of log:proves
Browse files Browse the repository at this point in the history
  • Loading branch information
@josd
josd committed Dec 23, 2024
1 parent 07ce4cd commit 3a059a2
Show file tree
Hide file tree
Showing 37 changed files with 3,098 additions and 3,098 deletions.
110 changes: 55 additions & 55 deletions output/ackermann.trig
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,115 +19,115 @@
# Explain the reasoning
#

(_:bng_1 _:bng_2) log:proves _:bng_3.
(_:bng_1 _:bng_2) log:explains _:bng_3.

(_:bng_4 _:bng_5) log:proves _:bng_6.
(_:bng_4 _:bng_5) log:explains _:bng_6.

(_:bng_1 _:bng_7) log:proves _:bng_8.
(_:bng_1 _:bng_7) log:explains _:bng_8.

(_:bng_4 _:bng_9) log:proves _:bng_10.
(_:bng_4 _:bng_9) log:explains _:bng_10.

(_:bng_11 _:bng_12) log:proves _:bng_13.
(_:bng_11 _:bng_12) log:explains _:bng_13.

(_:bng_4 _:bng_14) log:proves _:bng_15.
(_:bng_4 _:bng_14) log:explains _:bng_15.

(_:bng_11 _:bng_16) log:proves _:bng_17.
(_:bng_11 _:bng_16) log:explains _:bng_17.

(_:bng_4 _:bng_18) log:proves _:bng_19.
(_:bng_4 _:bng_18) log:explains _:bng_19.

(_:bng_20 _:bng_21) log:proves _:bng_22.
(_:bng_20 _:bng_21) log:explains _:bng_22.

(_:bng_4 _:bng_23) log:proves _:bng_24.
(_:bng_4 _:bng_23) log:explains _:bng_24.

(_:bng_20 _:bng_25) log:proves _:bng_26.
(_:bng_20 _:bng_25) log:explains _:bng_26.

(_:bng_4 _:bng_27) log:proves _:bng_28.
(_:bng_4 _:bng_27) log:explains _:bng_28.

(_:bng_20 _:bng_29) log:proves _:bng_30.
(_:bng_20 _:bng_29) log:explains _:bng_30.

(_:bng_31 _:bng_32) log:proves _:bng_33.
(_:bng_31 _:bng_32) log:explains _:bng_33.

(_:bng_20 _:bng_34) log:proves _:bng_35.
(_:bng_20 _:bng_34) log:explains _:bng_35.

(_:bng_31 _:bng_36) log:proves _:bng_37.
(_:bng_31 _:bng_36) log:explains _:bng_37.

(_:bng_20 _:bng_38) log:proves _:bng_39.
(_:bng_20 _:bng_38) log:explains _:bng_39.

(_:bng_31 _:bng_40) log:proves _:bng_41.
(_:bng_31 _:bng_40) log:explains _:bng_41.

(_:bng_20 _:bng_42) log:proves _:bng_43.
(_:bng_20 _:bng_42) log:explains _:bng_43.

(_:bng_31 _:bng_44) log:proves _:bng_45.
(_:bng_31 _:bng_44) log:explains _:bng_45.

(_:bng_20 _:bng_46) log:proves _:bng_47.
(_:bng_20 _:bng_46) log:explains _:bng_47.

(_:bng_31 _:bng_48) log:proves _:bng_49.
(_:bng_31 _:bng_48) log:explains _:bng_49.

(_:bng_20 _:bng_50) log:proves _:bng_51.
(_:bng_20 _:bng_50) log:explains _:bng_51.

(_:bng_31 _:bng_52) log:proves _:bng_53.
(_:bng_31 _:bng_52) log:explains _:bng_53.

(_:bng_20 _:bng_54) log:proves _:bng_55.
(_:bng_20 _:bng_54) log:explains _:bng_55.

(_:bng_31 _:bng_56) log:proves _:bng_57.
(_:bng_31 _:bng_56) log:explains _:bng_57.

(_:bng_4 _:bng_58) log:proves _:bng_59.
(_:bng_4 _:bng_58) log:explains _:bng_59.

(_:bng_20 _:bng_60) log:proves _:bng_61.
(_:bng_20 _:bng_60) log:explains _:bng_61.

(_:bng_31 _:bng_62) log:proves _:bng_63.
(_:bng_31 _:bng_62) log:explains _:bng_63.

(_:bng_20 _:bng_64) log:proves _:bng_65.
(_:bng_20 _:bng_64) log:explains _:bng_65.

(_:bng_31 _:bng_66) log:proves _:bng_67.
(_:bng_31 _:bng_66) log:explains _:bng_67.

(_:bng_20 _:bng_68) log:proves _:bng_69.
(_:bng_20 _:bng_68) log:explains _:bng_69.

(_:bng_31 _:bng_70) log:proves _:bng_71.
(_:bng_31 _:bng_70) log:explains _:bng_71.

(_:bng_20 _:bng_72) log:proves _:bng_73.
(_:bng_20 _:bng_72) log:explains _:bng_73.

(_:bng_31 _:bng_74) log:proves _:bng_75.
(_:bng_31 _:bng_74) log:explains _:bng_75.

(_:bng_20 _:bng_76) log:proves _:bng_77.
(_:bng_20 _:bng_76) log:explains _:bng_77.

(_:bng_31 _:bng_78) log:proves _:bng_79.
(_:bng_31 _:bng_78) log:explains _:bng_79.

(_:bng_20 _:bng_80) log:proves _:bng_81.
(_:bng_20 _:bng_80) log:explains _:bng_81.

(_:bng_31 _:bng_82) log:proves _:bng_83.
(_:bng_31 _:bng_82) log:explains _:bng_83.

(_:bng_20 _:bng_84) log:proves _:bng_85.
(_:bng_20 _:bng_84) log:explains _:bng_85.

(_:bng_31 _:bng_86) log:proves _:bng_87.
(_:bng_31 _:bng_86) log:explains _:bng_87.

(_:bng_20 _:bng_88) log:proves _:bng_89.
(_:bng_20 _:bng_88) log:explains _:bng_89.

(_:bng_31 _:bng_90) log:proves _:bng_91.
(_:bng_31 _:bng_90) log:explains _:bng_91.

(_:bng_20 _:bng_92) log:proves _:bng_93.
(_:bng_20 _:bng_92) log:explains _:bng_93.

(_:bng_31 _:bng_94) log:proves _:bng_95.
(_:bng_31 _:bng_94) log:explains _:bng_95.

(_:bng_20 _:bng_96) log:proves _:bng_97.
(_:bng_20 _:bng_96) log:explains _:bng_97.

(_:bng_31 _:bng_98) log:proves _:bng_99.
(_:bng_31 _:bng_98) log:explains _:bng_99.

(_:bng_4 _:bng_100) log:proves _:bng_101.
(_:bng_4 _:bng_100) log:explains _:bng_101.

(_:bng_31 _:bng_102) log:proves _:bng_103.
(_:bng_31 _:bng_102) log:explains _:bng_103.

(_:bng_31 _:bng_104) log:proves _:bng_105.
(_:bng_31 _:bng_104) log:explains _:bng_105.

(_:bng_31 _:bng_106) log:proves _:bng_107.
(_:bng_31 _:bng_106) log:explains _:bng_107.

(_:bng_4 _:bng_108) log:proves _:bng_109.
(_:bng_4 _:bng_108) log:explains _:bng_109.

(_:bng_31 _:bng_110) log:proves _:bng_111.
(_:bng_31 _:bng_110) log:explains _:bng_111.

(_:bng_4 _:bng_112) log:proves _:bng_113.
(_:bng_4 _:bng_112) log:explains _:bng_113.

(_:bng_114 _:bng_115) log:proves _:bng_115.
(_:bng_114 _:bng_115) log:explains _:bng_115.

_:bng_1 {
_:bng_3_1 log:isImpliedBy _:bng_4_1.
Expand Down
8 changes: 4 additions & 4 deletions output/acp.trig
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,13 +10,13 @@
# Explain the reasoning
#

(_:bng_1 _:bng_2) log:proves _:bng_3.
(_:bng_1 _:bng_2) log:explains _:bng_3.

(_:bng_4 _:bng_5) log:proves _:bng_6.
(_:bng_4 _:bng_5) log:explains _:bng_6.

(_:bng_7 _:bng_8) log:proves _:bng_9.
(_:bng_7 _:bng_8) log:explains _:bng_9.

(_:bng_10 _:bng_11) log:proves _:bng_12.
(_:bng_10 _:bng_11) log:explains _:bng_12.

_:bng_3_1 {
var:Pol :allOf var:Field.
Expand Down
4 changes: 2 additions & 2 deletions output/age.trig
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,9 @@
# Explain the reasoning
#

(_:bng_1 _:bng_2) log:proves _:bng_3.
(_:bng_1 _:bng_2) log:explains _:bng_3.

(_:bng_4 _:bng_3) log:proves _:bng_3.
(_:bng_4 _:bng_3) log:explains _:bng_3.

_:bng_1 {
_:bng_1_1 log:isImpliedBy _:bng_2_1.
Expand Down
4 changes: 2 additions & 2 deletions output/backward.trig
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,9 +10,9 @@
# Explain the reasoning
#

(_:bng_1 _:bng_2) log:proves _:bng_3_1.
(_:bng_1 _:bng_2) log:explains _:bng_3_1.

(_:bng_3 _:bng_3_1) log:proves _:bng_3_1.
(_:bng_3 _:bng_3_1) log:explains _:bng_3_1.

_:bng_1 {
_:bng_1_1 log:isImpliedBy _:bng_2_1.
Expand Down
2 changes: 1 addition & 1 deletion output/cobbler.trig
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ _:e_x_1 :is (:good :Cobbler).
# Explain the reasoning
#

(_:bng_1 _:bng_2) log:proves _:bng_2.
(_:bng_1 _:bng_2) log:explains _:bng_2.

_:bng_1 {
_:bng_1_1 log:query _:bng_1_1.
Expand Down
64 changes: 32 additions & 32 deletions output/color.trig
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,69 +10,69 @@
# Explain the reasoning
#

(_:bng_1 _:bng_2) log:proves _:bng_3.
(_:bng_1 _:bng_2) log:explains _:bng_3.

(_:bng_1 _:bng_4) log:proves _:bng_5.
(_:bng_1 _:bng_4) log:explains _:bng_5.

(_:bng_1 _:bng_6) log:proves _:bng_7.
(_:bng_1 _:bng_6) log:explains _:bng_7.

(_:bng_1 _:bng_8) log:proves _:bng_9.
(_:bng_1 _:bng_8) log:explains _:bng_9.

(_:bng_1 _:bng_10) log:proves _:bng_11.
(_:bng_1 _:bng_10) log:explains _:bng_11.

(_:bng_1 _:bng_12) log:proves _:bng_13.
(_:bng_1 _:bng_12) log:explains _:bng_13.

(_:bng_1 _:bng_14) log:proves _:bng_15.
(_:bng_1 _:bng_14) log:explains _:bng_15.

(_:bng_1 _:bng_16) log:proves _:bng_17.
(_:bng_1 _:bng_16) log:explains _:bng_17.

(_:bng_1 _:bng_18) log:proves _:bng_19.
(_:bng_1 _:bng_18) log:explains _:bng_19.

(_:bng_1 _:bng_20) log:proves _:bng_21.
(_:bng_1 _:bng_20) log:explains _:bng_21.

(_:bng_1 _:bng_22) log:proves _:bng_23.
(_:bng_1 _:bng_22) log:explains _:bng_23.

(_:bng_1 _:bng_24) log:proves _:bng_25.
(_:bng_1 _:bng_24) log:explains _:bng_25.

(_:bng_1 _:bng_26) log:proves _:bng_27.
(_:bng_1 _:bng_26) log:explains _:bng_27.

(_:bng_1 _:bng_28) log:proves _:bng_29.
(_:bng_1 _:bng_28) log:explains _:bng_29.

(_:bng_1 _:bng_30) log:proves _:bng_31.
(_:bng_1 _:bng_30) log:explains _:bng_31.

(_:bng_1 _:bng_32) log:proves _:bng_33.
(_:bng_1 _:bng_32) log:explains _:bng_33.

(_:bng_1 _:bng_34) log:proves _:bng_35.
(_:bng_1 _:bng_34) log:explains _:bng_35.

(_:bng_1 _:bng_36) log:proves _:bng_37.
(_:bng_1 _:bng_36) log:explains _:bng_37.

(_:bng_1 _:bng_38) log:proves _:bng_39.
(_:bng_1 _:bng_38) log:explains _:bng_39.

(_:bng_1 _:bng_40) log:proves _:bng_41.
(_:bng_1 _:bng_40) log:explains _:bng_41.

(_:bng_1 _:bng_42) log:proves _:bng_43.
(_:bng_1 _:bng_42) log:explains _:bng_43.

(_:bng_1 _:bng_44) log:proves _:bng_45.
(_:bng_1 _:bng_44) log:explains _:bng_45.

(_:bng_1 _:bng_46) log:proves _:bng_47.
(_:bng_1 _:bng_46) log:explains _:bng_47.

(_:bng_1 _:bng_48) log:proves _:bng_49.
(_:bng_1 _:bng_48) log:explains _:bng_49.

(_:bng_1 _:bng_50) log:proves _:bng_51.
(_:bng_1 _:bng_50) log:explains _:bng_51.

(_:bng_1 _:bng_52) log:proves _:bng_53.
(_:bng_1 _:bng_52) log:explains _:bng_53.

(_:bng_1 _:bng_54) log:proves _:bng_55.
(_:bng_1 _:bng_54) log:explains _:bng_55.

(_:bng_1 _:bng_56) log:proves _:bng_57.
(_:bng_1 _:bng_56) log:explains _:bng_57.

(_:bng_1 _:bng_58) log:proves _:bng_59.
(_:bng_1 _:bng_58) log:explains _:bng_59.

(_:bng_1 _:bng_60) log:proves _:bng_61.
(_:bng_1 _:bng_60) log:explains _:bng_61.

(_:bng_62 _:bng_63) log:proves _:bng_64.
(_:bng_62 _:bng_63) log:explains _:bng_64.

(_:bng_65 _:bng_64) log:proves _:bng_64.
(_:bng_65 _:bng_64) log:explains _:bng_64.

_:bng_7_1 {
var:TAIL list:member (var:NEIGHBOUR var:COLOR).
Expand Down
26 changes: 13 additions & 13 deletions output/complex.trig
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,31 +14,31 @@
# Explain the reasoning
#

(_:bng_1 _:bng_2) log:proves _:bng_3.
(_:bng_1 _:bng_2) log:explains _:bng_3.

(_:bng_4 _:bng_5) log:proves _:bng_6.
(_:bng_4 _:bng_5) log:explains _:bng_6.

(_:bng_7 _:bng_8) log:proves _:bng_9.
(_:bng_7 _:bng_8) log:explains _:bng_9.

(_:bng_10 _:bng_11) log:proves _:bng_12.
(_:bng_10 _:bng_11) log:explains _:bng_12.

(_:bng_4 _:bng_13) log:proves _:bng_14.
(_:bng_4 _:bng_13) log:explains _:bng_14.

(_:bng_7 _:bng_15) log:proves _:bng_16.
(_:bng_7 _:bng_15) log:explains _:bng_16.

(_:bng_10 _:bng_17) log:proves _:bng_18.
(_:bng_10 _:bng_17) log:explains _:bng_18.

(_:bng_4 _:bng_19) log:proves _:bng_20.
(_:bng_4 _:bng_19) log:explains _:bng_20.

(_:bng_7 _:bng_21) log:proves _:bng_22.
(_:bng_7 _:bng_21) log:explains _:bng_22.

(_:bng_7 _:bng_23) log:proves _:bng_24.
(_:bng_7 _:bng_23) log:explains _:bng_24.

(_:bng_25 _:bng_26) log:proves _:bng_27.
(_:bng_25 _:bng_26) log:explains _:bng_27.

(_:bng_28 _:bng_29) log:proves _:bng_30.
(_:bng_28 _:bng_29) log:explains _:bng_30.

(_:bng_31 _:bng_32) log:proves _:bng_32.
(_:bng_31 _:bng_32) log:explains _:bng_32.

_:bng_1 {
_:bng_11_1 log:isImpliedBy _:bng_12_1.
Expand Down
10 changes: 5 additions & 5 deletions output/control.trig
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,15 +10,15 @@
# Explain the reasoning
#

(_:bng_1 _:bng_2) log:proves _:bng_3.
(_:bng_1 _:bng_2) log:explains _:bng_3.

(_:bng_4 _:bng_5) log:proves _:bng_6.
(_:bng_4 _:bng_5) log:explains _:bng_6.

(_:bng_7 _:bng_8) log:proves _:bng_9.
(_:bng_7 _:bng_8) log:explains _:bng_9.

(_:bng_10 _:bng_6) log:proves _:bng_6.
(_:bng_10 _:bng_6) log:explains _:bng_6.

(_:bng_10 _:bng_9) log:proves _:bng_9.
(_:bng_10 _:bng_9) log:explains _:bng_9.

_:bng_1 {
_:bng_5_1 log:isImpliedBy _:bng_6_1.
Expand Down
Loading

0 comments on commit 3a059a2

Please sign in to comment.