diff --git a/_concepts.txt b/_concepts.txt index 503ad05..bc538fa 100644 --- a/_concepts.txt +++ b/_concepts.txt @@ -1,3 +1,4 @@ +#import admin def concept one as 1 def concept two as 2 def concept three as 3 @@ -88,13 +89,6 @@ set_is_greater_than(__PRECEDENCE, multiplied, plus) set_is_greater_than(__PRECEDENCE, divided, plus) set_is_greater_than(__PRECEDENCE, multiplied, minus) set_is_greater_than(__PRECEDENCE, divided, minus) -def concept explain as get_results() | filter("id == 0") | recurse(2) -def concept explain last as get_last_results() | filter("id == 0") | recurse(2) -def concept explain x as get_results() | filter(f"id == {x}") | recurse(3) where x -def concept explain x '--recurse' y as get_results() | filter(f"id == {x}") | recurse(y) where x,y -set_isa(c:explain:, __AUTO_EVAL) -set_isa(c:explain last:, __AUTO_EVAL) -set_isa(c:explain x:, __AUTO_EVAL) def concept precedence a > precedence b as set_is_greater_than(__PRECEDENCE, a, b) set_isa(c:precedence a > precedence b:, __AUTO_EVAL) def concept x is a command as set_isa(x, __AUTO_EVAL) @@ -103,5 +97,3 @@ def concept q from q ? as question(q) pre is_question() set_is_lesser(__PRECEDENCE, q) def concept x is a 'concept' as isinstance(x, Concept) pre is_question() def concept x is a y as isa(x,y) pre is_question() -def concept explain x values where x as get_results() | filter(f"id=={x}") | format_d -set_isa(c:explain x values:, __AUTO_EVAL) \ No newline at end of file