Objective and Terminology

Let s close in now on the MSG Method. Intuitively, its objective is to infer a logic algorithm of a predicate r n, given a finite set of examples of rhi The method should be applicable if the intended relation (from which the examples are extracted) can be expressed by a logic algorithm that is defined solely in terms of the =/2 primitive (hence is non-recursive, among others). This is feasible iff, in the intended relation, some parameters are somehow syntactically constructed from some other parameters. 

In a first approximation, we suppose that is ternary, and that its third parameter is syntactically constructed from its second parameter, while the first parameter may or may not be used in this construction. 

Let s now formally define what it means for an atom to satisfy the parameter construction constraint mentioned above. 

Definition 10-5 An atom is admissible iff the following conditions hold  

In other word, the constituents of t2 must be included in the constituents of 3, where the constituents of a term are the constants and variables occurring in that term. 

---