How does append-to-form work? (SICP's section on Logic Programming)
I am currently working through SICP\'s section on Logic Programming, but I got stuck in the examples regarding logical deductions, especially the append-to-form rules. How do they work? What I don\'t
0
0
0
加载中,请稍侯......
精彩评论