Report copyright - CSC384: Lecture 3CSC384: Lecture 3 Last time • DCL: syntax, semantics, proofs • bottom-up proof procedure Today • top-down proof procedure (SLD-resolution) • perhaps start
Please pass captcha verification before submit form
Please pass captcha verification before submit form