Fri 4 Jan, 2013 05:04 pm - De fine the predicate region/4 such that region(+M,+K,+Size,?L) is satis ed if L is the list of all elements of region number K of the sudoku grid of size Size represented by matrix M. We recall... (view)
Fri 4 Jan, 2013 05:03 pm - De fine the predicate subMatrix/6 such that subMatrix(+M,+OI,+OJ,+NbLi,+NbCol,?Res) is satis ed if Res is a sub-matrix of M with NbLi rows and NbCol columns starting from element (OI,OJ),
meaning... (view)
Sun 11 Nov, 2012 02:13 am - I have a problem in implementing triggers for conditions as
schema of table given
ProjectMember (EmpID, FirstName, LastName, IsManager, BudgetAuthority)
Project (ProjectID, Title, Start,... (view)
Thu 8 Nov, 2012 01:58 pm - i want to develop a datalog to sql interpreter in ocaml and postgresql . I have to develop full help/option command with DB infos. Any suggestions how to create in ocaml??? (view)
Wed 31 Oct, 2012 05:21 am - A nutritional advisor who would like to become famous, proposes the following rules to make up a
meal : (a) meals with fish do not include meat
(b) meals without cheese include dessert
(c) no... (view)
