diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-11 11:54:00 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-11 12:00:48 +0200 |
| commit | 236eb936db8c11a4fe68e40838f87c9bec417ad1 (patch) | |
| tree | 161ffa00c8c26a3e7aeb32bf0faffae29d50cc0d /.gitignore | |
| parent | d1d652fd1ce39d09ac0fd379cd1455ed9ebd2660 (diff) | |
Pass a list of solved problems to Prolog hint/test
This replaces the session parameter that was passed before but not used.
Especially in the hint functions it will be useful in some cases to
handle user's current code, previous solutions, and the facts library
separately.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions