summaryrefslogtreecommitdiffhomepage
path: root/prolog.html.markdown
Commit message (Collapse)AuthorAgeLines
* [prolog/en] Corrected statement about unifying two free terms (#3033)Evert Heylen2018-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 Graaf2018-02-23-8/+8
| | | | its full name
* Fix filename lPratik Karki2017-08-25-1/+1
|
* A first try at prolog.hyphz2017-07-18-0/+331