summaryrefslogtreecommitdiffhomepage
path: root/zh-cn/c-cn.html.markdown
diff options
context:
space:
mode:
authorEvert Heylen <evertheylen@gmail.com>2018-02-28 12:41:09 +0100
committerPratik Karki <predatoramigo@gmail.com>2018-02-28 17:26:09 +0545
commiteefc0a9c92f44655fd177920c9f1d40816afa119 (patch)
tree42bc56b61e941c09942b73e842c192e4e7b78044 /zh-cn/c-cn.html.markdown
parent7d303e504235a68eca63ebb914872cdfea9469b6 (diff)
[prolog/en] Corrected statement about unifying two free terms (#3033)
* Corrected statement about unifying two free terms While the intricacies of unification would bring us too far, stating that assigning two free 'sides' is wrong. I tried to give a small description about how this works (without going into the details of occurrence checks or unification of more complex structures). * Fixed indentation * Replaced old style of structured comments
Diffstat (limited to 'zh-cn/c-cn.html.markdown')
0 files changed, 0 insertions, 0 deletions