getting started with regular.apl ex
transforming regular expressions to nfas using nominal logic
rel links and alphaProlog re ex