testing prolog syntax highlighting:
prolog
parent(tom, bob). parent(bob, ann). parent(ann, joe). grandparent(X, Z) :- parent(X, Y), parent(Y, Z).
commit a5447f2