Prolog for theorem proving, expert systems, type inference systems, and automated planning...

- 2 minutes read - 303 words