The +, -, *, and / relations are functions used for performing arithmetic operations.
+ number1 number2 number3
- number1 number2 number3
* number1 number2 number3
/ number1 number2 number3
The number1 and number2 arguments are the integer or real numbers to be added, subtracted, multiplied, or divided.
The number3 argument is the integer or real result.
(tellm (:about Joe Man (age 45) (wife Sue)) (age Sue 20))
(ask (- (age Joe) (age Sue) 25)) ==> T
(retrieve ?x (:and (Man ?x) (> (age ?x) (* (age (wife ?x)) 2)))) ==>
Last modified: Jun 1 1995