!(import! stdlib_mettalog.metta)