| crash_log.prolog | Feb 27, 2022, 11:05:17 PM | 4.16 KiB | |
| debugger.prolog | Feb 27, 2022, 11:05:17 PM | 923 B | |
| driver_code.prolog | Mar 3, 2022, 6:21:06 AM | 3.93 KiB | |
| everyday_life.prolog | Mar 7, 2022, 7:41:55 AM | 3.74 KiB | |
| general_strategies.prolog | Mar 9, 2022, 1:37:09 AM | 12.36 KiB | |
| integrity_checks.prolog | Mar 7, 2022, 7:46:49 PM | 1.79 KiB | |
| invoke_continuation.prolog | Mar 1, 2022, 2:57:34 PM | 1.90 KiB | |
| metastrategies.prolog | Mar 6, 2022, 1:41:22 AM | 1.39 KiB | |
| problem_solver_orig.prolog | Mar 9, 2022, 5:26:52 AM | 3.88 KiB | |
| problem_solver.prolog | Mar 9, 2022, 5:26:52 AM | 2.75 KiB | |
| ps_tests.prolog | Mar 7, 2022, 8:47:45 AM | 670 B | |
| switch_to_task.prolog | Mar 6, 2022, 2:51:55 AM | 3.42 KiB | |
| task_reduction.prolog | Feb 27, 2022, 11:05:17 PM | 5.68 KiB | |
|