root/tags/lgt2210/examples/metainterpreters
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| loader.lgt | 74 bytes | 1052 | 5 years | Use Logtalk source files for loading library and examples entities. |
| NOTES | 0.7 KB | 1460 | 4 years | Updated release number to 2.21.0. |
| proof_tree.lgt | 478 bytes | 936 | 5 years | Added new "metainterpreters" example. |
| SCRIPT | 2.1 KB | 1460 | 4 years | Updated release number to 2.21.0. |
| solver.lgt | 411 bytes | 941 | 5 years | Added missing cut in first clause of solve/1. |
| tracer.lgt | 0.8 KB | 940 | 5 years | Added "fail" and "redo" port output. |
Note: See TracBrowser
for help on using the browser.
