9 Commits

Include renames

Author	SHA1	Message	Date
kr.angelov	1593c7249d	fix SUMO after the update in DictEng	2011-08-23 15:05:04 +00:00
krasimir	fe1205059b	operations in the abstract syntax	2010-11-12 19:37:19 +00:00
krasimir	1c36f1fa8d	generalize the nqueens function in NQueens.gf	2010-10-13 17:53:44 +00:00
krasimir	2ab3081c07	add start category S in NQueens. This helps the EditorApp to find the start category	2010-10-13 13:53:29 +00:00
krasimir	edf46e3a4d	use "-" and ";" instead of "_" and "\n" in NQueens	2010-10-13 13:47:22 +00:00
krasimir	c145f18a19	update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments	2010-10-11 17:17:04 +00:00
krasimir	69535e2b6b	even simpler version of NQueens	2010-03-24 21:04:37 +00:00
krasimir	925fb9dc85	the Plus predicate from NQueens is replaced with definition for function plus	2010-03-24 16:14:36 +00:00
krasimir	f4d3da0ccc	the NQueens algorithm written in GF	2010-03-21 19:01:57 +00:00