Arithmetic We can force Prolog to evaluate things using the special operator is . - X is X = 2.
{"Image DocumentName": "ArithmeticWe can force Prolog to evaluate things using the special operator is . ?- X is X = 2.", "Image ImageDescription": "?- Y=1, X is Y + 1. X is 2. We could therefore write a limbs-counting predicate: no_limbs(animal, N) :- no_arms(animal, Narms), no_legs(animal, Nlegs), N is Narms + Nlegs.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}