| Commit message (Expand) | Author | Age | Lines | |
|---|---|---|---|---|
| * | [prolog/en] Corrected statement about unifying two free terms (#3033) | Evert Heylen | 2018-02-28 | -54/+62 |
| * | [prolog/en] Fixed typo in expected result, changed 'deterministic' jargon to ... | Jimmy de Graaf | 2018-02-23 | -8/+8 |
| * | Fix filename l | Pratik Karki | 2017-08-25 | -1/+1 |
| * | A first try at prolog. | hyphz | 2017-07-18 | -0/+331 |
