CS262 Logic and Verification Introduction to Prolog
CS262 Logic and Verification 1 / 2
= Programming in Logic
Copyright By PowCoder代写 加微信 powcoder
A programming paradigm (imperative/procedural, functional,
object-oriented) another way of thinking
Basic principles: recursion+induction
Taught in lectures, practised in exercises
Labs and coursework assignment will use Prolog
Installed on lab computers (use SSH), recommend installation also on private laptops
Also available via web interface (no installation needed) See Prolog links/tutorials on the Moodle page
CS262 Logic and Verification 2 / 2
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com