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 and the ISO Prolog standard.