diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-30 15:19:22 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-30 15:19:22 +0100 |
| commit | fa58ab7b297d1df467ac3a4b77397b3ca05325e9 (patch) | |
| tree | 4a00c1f3ca3e596341b67103f082b9ebb16b8a38 /COPYING | |
| parent | a6f9486208aba2008cb342090edb250856347ddd (diff) | |
Limit the number of inferences for Prolog queries
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions