root/tags/lgt2310/examples/searching
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| best_first1.lgt | 2.8 KB | 2383 | 3 years | Converted some uses/1 directives into uses/2 directives. |
| blind_search1.lgt | 0.7 KB | 2381 | 3 years | Reformatted layout. |
| breadth_first1.lgt | 1.5 KB | 2383 | 3 years | Converted some uses/1 directives into uses/2 directives. |
| bridge.lgt | 1.8 KB | 1401 | 4 years | Updated objects to take advantage of the new uses/2 predicate directive. |
| depth_first1.lgt | 0.7 KB | 2383 | 3 years | Converted some uses/1 directives into uses/2 directives. |
| eight_puzzle.lgt | 1.8 KB | 1401 | 4 years | Updated objects to take advantage of the new uses/2 predicate directive. |
| farmer.lgt | 1.5 KB | 365 | 6 years | Changed "authors" key in info/1 directive to "author". |
| heuristic_search1.lgt | 1.1 KB | 2381 | 3 years | Reformatted layout. |
| heuristic_state_space.lgt | 0.7 KB | 1815 | 4 years | Corrected typo. |
| hill_climbing1.lgt | 1.0 KB | 1401 | 4 years | Updated objects to take advantage of the new uses/2 predicate directive. |
| loader.lgt | 460 bytes | 3853 | 16 months | Minor documentation improvements. |
| miss_cann.lgt | 1.7 KB | 1401 | 4 years | Updated objects to take advantage of the new uses/2 predicate directive. |
| NOTES.txt | 1.6 KB | 3941 | 13 months | Updated release number to 2.31.0 due to the incompatible changes in this … |
| performance.lgt | 3.6 KB | 3179 | 2 years | Updated examples to use the new built-in protocol "monitoring" instead of … |
| salt3.lgt | 2.9 KB | 2738 | 3 years | Avoid false singleton warnings with named anonymous variables on recent … |
| SCRIPT.txt | 9.6 KB | 3941 | 13 months | Updated release number to 2.31.0 due to the incompatible changes in this … |
| search_strategy.lgt | 415 bytes | 2381 | 3 years | Reformatted layout. |
| state_space.lgt | 1.6 KB | 2381 | 3 years | Reformatted layout. |
| water_jug.lgt | 0.9 KB | 365 | 6 years | Changed "authors" key in info/1 directive to "author". |
Note: See TracBrowser
for help on using the browser.
