added prolog syntax (but no code gen yet)