4 Commits

Author	SHA1	Message	Date
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