Wikipedia
Twelf
Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
Usage examples of "twelf".
Madison on the twelf of April, sont um to Memphis and sold um, and had all fourteen back and three more besides, here at Caledonia on the third of May.