Report copyright - Prolog lecture 4 - University of Cambridge · 4 Countdown Numbers Prerequisite predicates: eval(A,B) – true if the symbolic expression A evaluates to B choose(N,L,R,S) – true
Please pass captcha verification before submit form
Please pass captcha verification before submit form