KONG Lingmian, LIU Chunnian. NAD: A Programming System in Full First Order Predicate LogicJ. Journal of Computer Research and Development, 1990, 27(6): 10-15.
Citation:
KONG Lingmian, LIU Chunnian. NAD: A Programming System in Full First Order Predicate LogicJ. Journal of Computer Research and Development, 1990, 27(6): 10-15.
KONG Lingmian, LIU Chunnian. NAD: A Programming System in Full First Order Predicate LogicJ. Journal of Computer Research and Development, 1990, 27(6): 10-15.
Citation:
KONG Lingmian, LIU Chunnian. NAD: A Programming System in Full First Order Predicate LogicJ. Journal of Computer Research and Development, 1990, 27(6): 10-15.
NAD: A Programming System in Full First Order Predicate Logic
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.
DownLoad: