Abstract: A new version of first order language,Subgoal Deduction Language(SDL)is suggested to be used as a mata-language for specification,verification and derivation of logic Programs as well as for representation of knowledge in Program reasoning.The suggestion is illustrated by an example of ordered bi-free.