diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-04-08 16:29:48 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-04-08 16:29:48 +0200 |
commit | f444983ccea66565897122fb7d940b74187a31df (patch) | |
tree | a06980ef5caee4f70a333a96391d7581e67ea301 /server/prolog_session.py | |
parent | bfdfbb2148a1c4ec2e0bf9c3eb4cd78ee79d91e3 (diff) |
Prolog: use A,B,C,… for normalized variable names
This is somewhat more readable than A0,A1,A2,….
Diffstat (limited to 'server/prolog_session.py')
0 files changed, 0 insertions, 0 deletions