Powerful Features ---Typing

Prolog is a very weakly typed language. In some sense, the only type is the term.

Not all these features are first order predicate logic. Nevertheless they give great power into the hands of the programmer.

We demonstrate their use first by defining type/2 which has mode type(+,-). It takes a term as its first argument and returns a type for the term. On redoing, it will attempt to find another type. To complicate the matter, we have specially distinguished lists ---which are compound terms.

 
type(X,variable):-

			var(X),!.

type(X,atom):-

			atom(X).

type(X,integer):-

			integer(X).

type(X,real):-

			number(X),

			\+(integer(X)).

type(X,list):-

			nonvar(X),

			X=[__].

type(X,compound_term):-

			\+(atomic(X)),

			nonvar(X).