| crash_log.prolog | Mar 12, 2022, 3:50:36 AM | 4.77 KiB | |
| debugger.prolog | Mar 12, 2022, 2:13:14 AM | 1.14 KiB | |
| driver_code.prolog | Mar 12, 2022, 3:32:41 AM | 4.39 KiB | |
| everyday_life.prolog | Mar 12, 2022, 3:50:36 AM | 4.70 KiB | |
| general_strategies.prolog | Mar 12, 2022, 4:06:12 AM | 13.79 KiB | |
| integrity_checks.prolog | Mar 12, 2022, 2:13:15 AM | 2.42 KiB | |
| invoke_continuation.prolog | Mar 12, 2022, 3:50:36 AM | 2.33 KiB | |
| metastrategies.prolog | Mar 12, 2022, 2:13:15 AM | 1.58 KiB | |
| problem_solver_orig.prolog | Mar 12, 2022, 2:11:40 AM | 3.88 KiB | |
| problem_solver.prolog | Mar 12, 2022, 3:50:37 AM | 3.34 KiB | |
| ps_tests.prolog | Mar 12, 2022, 2:11:40 AM | 670 B | |
| switch_to_task.prolog | Mar 12, 2022, 3:50:37 AM | 3.80 KiB | |
| task_reduction.prolog | Mar 12, 2022, 3:32:42 AM | 6.84 KiB | |
|