Abstract: NAD system takes the Full First Order Predicate Logic as a programming language, using Natural Deduction based on Gentzens sequent calculus This paper describes the thcoretical foundation implementation strategies and running examples of NAD. NAD is introduced to improve the expressive power of PROLOG.