留学生考试辅导 CS262 Logic and Verification Prolog 2: Arithmetic and recursion

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