CS262 Logic and Verification Prolog 2: Arithmetic and recursion
CS262 Logic and Verification 1 / 2
Arithmetic in Prolog
Copyright By PowCoder代写 加微信 powcoder
Basic arithmetic operators +, -, *, /
Basic functions sin(X), cos(X), abs(X), sqrt(X), max(X,Y)
Numerical comparison operators =:=, =\=, >, <, >=, =<
is/2 predicate: assign numerical value of right hand side to left hand side
= unification operator: bind free variables to make them match the other members
CS262 Logic and Verification 2 / 2
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com