formal-ai 0.188.0

Formal symbolic AI implementation with OpenAI-compatible APIs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

substitution_rules
  id program_plan_rules
  rule path_argument_list_files
    order 10
    event manual
    when "request:modifier -> path_argument"
    replace "request:task -> list_files"
      with "request:task -> list_files_arg"
  rule path_argument_list_files_reverse_sort
    order 10
    event manual
    when "request:modifier -> path_argument"
    replace "request:task -> list_files_reverse_sort"
      with "request:task -> list_files_arg_reverse_sort"
  rule reverse_sort_list_files
    order 20
    event manual
    when "request:modifier -> reverse_sort"
    replace "request:task -> list_files"
      with "request:task -> list_files_reverse_sort"
  rule reverse_sort_list_files_arg
    order 20
    event manual
    when "request:modifier -> reverse_sort"
    replace "request:task -> list_files_arg"
      with "request:task -> list_files_arg_reverse_sort"