Type testing

These predicates test the type associated with a term.

A goal executing any of these predicates simply succeeds or fails; there is no side effect, unification, or error.

1. var/1

var(X) is true iff X is a member of the variable set as defined by the specification.

Templates and modes for the predicate are as follows:

var(@term)

1.1 Example tests

Let's start with some simple tests verifying success of failure of single goals.

2. atom/1

atom(X) is true iff X is a member of the atom set as defined by the specification.

Templates and modes for the predicate are as follows:

atom(@term)

2.1 Example tests

Let's start with some simple tests verifying success of failure of single goals.

3. integer/1

integer(X) is true iff X is a member of the integer set as defined by the specification.

Templates and modes for the predicate are as follows:

integer(@term)

3.1 Example tests

Let's start with some simple tests verifying success of failure of single goals.

4. float/1

float(X) is true iff X is a member of the float set as defined by the specification.

Templates and modes for the predicate are as follows:

float(@term)

4.1 Example tests

Let's start with some simple tests verifying success of failure of single goals.

5. atomic/1

atomic(X) is true if X is an atom, integer or float, and is false if X is a variable or a compound term, w.r.t every set as defined by the specification.

Templates and modes for the predicate are as follows:

atomic(@term)

5.1 Example tests

Let's start with some simple tests verifying success of failure of single goals.

6. compound/1

compound(X) is true iff X is a member of the compound term set as defined by the specification.

Templates and modes for the predicate are as follows:

compound(@term)

6.1 Example tests

Let's start with some simple tests verifying success of failure of single goals.

7. nonvar/1

nonvar(X) is true iff X is not a member of the variable set as defined by the specification.

Templates and modes for the predicate are as follows:

nonvar(@term)

7.1 Example tests

Let's start with some simple tests verifying success of failure of single goals.

8. number/1

number(X) is true if X is an integer or float, and is false if X is a variable, an atom or a compound term, w.r.t every set as defined by the specification.

Templates and modes for the predicate are as follows:

number(@term)

8.1 Example tests

Let's start with some simple tests verifying success of failure of single goals.

Run the tests!

The results of the tests for Type testing are as follows: