Report - Hans Hüttel - people.cs.aau.dkpeople.cs.aau.dk/~hans/prolog/pp-1.pdf · 2010-10-06 · Deduction vs. Induction Deduction: whole → parts: (aka. “top-down reasoning”) abstract

Please pass captcha verification before submit form