Prolog like language using lojban