DATALOG 5 OPTIONS

The variable _ represents an anonymous variable; Every instance of _ inside of a clause is dealt with to be a contemporary variable. We enforce the need that each variable within a clause need to be certain. A variable X is bound if a minimum of amongst the subsequent problems holds:Du bliver individuelt vurderet i forhold til de kvote 2-kriterier,