+ [Relation]

- [Relation]

* [Relation]

/ [Relation]

Purpose

The +, -, *, and / relations are functions used for performing arithmetic operations.

Syntax

+ number1 number2 number3
- number1 number2 number3
* number1 number2 number3
/ number1 number2 number3

Domains

The number1 and number2 arguments are the integer or real numbers to be added, subtracted, multiplied, or divided.

Range

The number3 argument is the integer or real result.

Examples

(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)))) ==>  
   (|I|JOE)