Report - Programming in Higher-Order Logicusers.cecs.anu.edu.au/~tiu/teaching/lprolog/lecture3.pdf · Prolog: an overview Prolog is a logic programming language based on higher-order intuitionistic

Please pass captcha verification before submit form