Libraryless. Click here for Pure Java version (6624L/43K).
1 | sS ai_ruleOfThree_solver_2(S db, S input) { |
2 | ret too_transformInput(input, too -> { |
3 | too.addAll(lambdaMap(s -> Input(s), tlft(db))); |
4 | |
5 | too.addTransformer(func(Input<S> i) { |
6 | BasicLogicRule<S> r = ai_parseIfThen(i!); |
7 | if (r != null) |
8 | too.addTransformer(func(Input<S> i2) { |
9 | if (match(r.lhs, i2!)) |
10 | ret new TransformedInput(r.rhs); |
11 | null; |
12 | }); |
13 | null; |
14 | }); |
15 | }); |
16 | } |
Began life as a copy of #1028827
download show line numbers debug dex old transpilations
Travelled to 7 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv
No comments. add comment
Snippet ID: | #1028841 |
Snippet name: | ai_ruleOfThree_solver_2 (if-then) |
Eternal ID of this version: | #1028841/6 |
Text MD5: | 61d93cf9d56ae477e90bd27bc88a2010 |
Transpilation MD5: | 7fbb24e17814fe567dcf028165ae8f98 |
Author: | stefan |
Category: | javax / a.i. |
Type: | JavaX fragment (include) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2020-07-11 20:36:58 |
Source code size: | 444 bytes / 16 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 223 / 322 |
Version history: | 5 change(s) |
Referenced in: | [show references] |