| Commit message (Collapse) | Author | Age | Lines | |
|---|---|---|---|---|
| * | [prolog/en] Corrected statement about unifying two free terms (#3033) | Evert Heylen | 2018-02-28 | -54/+62 |
| | | | | | | | | | | | * 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 | |||
| * | [prolog/en] Fixed typo in expected result, changed 'deterministic' jargon to ↵ | Jimmy de Graaf | 2018-02-23 | -8/+8 |
| | | | | | its full name | |||
| * | Fix filename l | Pratik Karki | 2017-08-25 | -1/+1 |
| | | ||||
| * | A first try at prolog. | hyphz | 2017-07-18 | -0/+331 |
 |
index : learnxinyminutes-docs | |
| Code documentation written as code! How novel and totally my idea! |
| summaryrefslogtreecommitdiffhomepage |
path: root/prolog.html.markdown