Commit Graph

6 Commits

Author SHA1 Message Date
Boris Verkhovskiy
f4d4fb76ba
Fix language names (#5148) 2024-10-20 14:46:35 -07:00
Erik Thorelli
bee7c2b229
typo fix in prolog.html.markdown 2019-06-19 14:01:48 -04:00
Evert Heylen
eefc0a9c92 [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
2018-02-28 17:26:09 +05:45
Jimmy de Graaf
543a1b517b [prolog/en] Fixed typo in expected result, changed 'deterministic' jargon to its full name 2018-02-23 15:09:26 +01:00
Pratik Karki
541e2c1120 Fix filename l 2017-08-25 16:34:05 +05:45
hyphz
4b5a50ebfd A first try at prolog. 2017-07-18 18:36:03 +01:00