a simple scheme parser/runtime implemented by prolog.