Mihail Buryakov ab52c177dc allow mapper to return StemFunc for case where ground() is called and Alias points to a variable which was already resolved to a StemFunc object		2015-12-08 19:27:18 +03:00
.idea	Updated the IDEA project	2015-11-03 11:09:51 +01:00
.mps	move all on-the-fly stuff to separate module	2015-12-07 17:40:19 +03:00
languages	allow mapper to return StemFunc for case where ground() is called and Alias points to a variable which was already resolved to a StemFunc object	2015-12-08 19:27:18 +03:00
solutions	lightweight solver: fix small bug	2015-12-08 19:23:41 +03:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Ignore IDEA's workspace file	2015-02-09 16:21:36 +01:00
.gitmodules	Renamed solution 'j.m.unification.tree' -> 'j.m.logic.atom'	2015-08-06 12:57:35 +02:00