1 2 3 | (defun factorial (n) (if (= n 0) 1 (* n (factorial (- n 1))))) |
1 2 | man( socrates ). // Fact: Socrates is a man. mortal( X ) :- man( X ). // Rule: All men are mortal. |
欢迎光临 电子技术论坛_中国专业的电子工程师学习交流社区-中电网技术论坛 (http://bbs.eccn.com/) | Powered by Discuz! 7.0.0 |