The Definitive Guide to integrated management system
The variable _ represents an nameless variable; Every occasion of _ within a clause is handled for a fresh new variable. We enforce the requirement that each variable within a clause have to be bound. A variable X is bound if at least among the following conditions holds:Description: Cortech Developments Main computer software solution, Datalog, i