Struct PrologArith 

pub struct PrologArith;

Build an arithmetic expression for use in X is Expr.

Implementations

impl PrologArith

pub fn add(x: PrologTerm, y: PrologTerm) -> PrologTerm

Add: X + Y.

pub fn sub(x: PrologTerm, y: PrologTerm) -> PrologTerm

Sub: X - Y.

pub fn mul(x: PrologTerm, y: PrologTerm) -> PrologTerm

Mul: X * Y.

pub fn idiv(x: PrologTerm, y: PrologTerm) -> PrologTerm

Div: X // Y — integer division.

pub fn mmod(x: PrologTerm, y: PrologTerm) -> PrologTerm

Mod: X mod Y.

pub fn abs(x: PrologTerm) -> PrologTerm

Absolute value: abs(X).

pub fn max(x: PrologTerm, y: PrologTerm) -> PrologTerm

Max: max(X, Y).

pub fn min(x: PrologTerm, y: PrologTerm) -> PrologTerm

Min: min(X, Y).

pub fn pow(x: PrologTerm, y: PrologTerm) -> PrologTerm

Exponentiation: X ^ Y.

pub fn sqrt(x: PrologTerm) -> PrologTerm

Square root: sqrt(X).

pub fn truncate(x: PrologTerm) -> PrologTerm

Truncate: truncate(X).

pub fn round(x: PrologTerm) -> PrologTerm

Round: round(X).

pub fn sign(x: PrologTerm) -> PrologTerm

Sign: sign(X).

pub fn bitand(x: PrologTerm, y: PrologTerm) -> PrologTerm

Bitwise AND: X /\ Y.

pub fn bitor(x: PrologTerm, y: PrologTerm) -> PrologTerm

Bitwise OR: X \/ Y.

pub fn xor(x: PrologTerm, y: PrologTerm) -> PrologTerm

Bitwise XOR: X xor Y.

pub fn shl(x: PrologTerm, y: PrologTerm) -> PrologTerm

Left shift: X << Y.

pub fn shr(x: PrologTerm, y: PrologTerm) -> PrologTerm

Right shift: X >> Y.