Sign in
apache
/
incubator-retired-amaterasu-site
/
ea82bfd9edd5e1015d7640f16e2222ec6d8d34f3
/
.
/
vendor
/
bundle
/
ruby
/
2.4.0
/
gems
/
rouge-1.11.1
/
lib
/
rouge
/
demos
/
prolog
blob: 8430e6b36a4e68ef6e1891a2096872c190f40f45 [
file
] [
log
] [
blame
]
diff
(
plus
(
A
,
B
),
X
,
plus
(
DA
,
DB
))
<=
diff
(
A
,
X
,
DA
)
and
diff
(
B
,
X
,
DB
).
diff
(
times
(
A
,
B
),
X
,
plus
(
times
(
A
,
DB
),
times
(
DA
,
B
)))
<=
diff
(
A
,
X
,
DA
)
and
diff
(
B
,
X
,
DB
).
equal
(
X
,
X
).
diff
(
X
,
X
,
1
).
diff
(
Y
,
X
,
0
)
<=
not
equal
(
Y
,
X
).