btouch --Operation (predicate), no inputs. Abbreviation: bto
     This operation can be used only with the floor turtle. It has as its
     output the word true if the back of the turtle is touching an
     obstacle; otherwise it has the word false as its output.