A small logic language implemented in SML.