This document gives a reference of the Jekejeke Prolog programming language. The language is motivated by mathematical logic but it is not fully declarative since it has still procedural elements, which destroy a simple semantic. Here and there we will compare our definitions with the Edinburgh Prolog standard [1] and the ISO Prolog standard [2].