included tuprolog unit tests