passitdelel ricgettrtr relletotrt bocrol vialvi letotrocra Some introductory material here.
Terminology and syntax are mostly a hybrid of C and Prolog.