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 |