본 연구는 단형화 (monomorphization) 없이 하향식 관계 언어 (bottom-up relational languages)를 위한 다형성 (polymorphism)을 구현하는 새로운 접근 방식을 제시합니다. 먼저 하향식 가중 관계 프로그래밍 언어 (bottom-up weighted relational programming language)인 semiringKanren을 소개합니다. 우리는 이 기초 언어를 확장하여 다형성을 지원하도록 합니다. 우리는 동등성 패턴 (equality patterns)과 충분히 큰 다형성 관계 (polymorphic relations)의 인스턴스를 기반으로, 다형성 semiringKanren 프로그램을 비다형성 (non-polymorphic) 프로그램으로 컴파일하는 새로운 방법을 설명합니다. 우리는 이 방법의 정확성 (correctness)을 증명합니다. 마지막으로, 기존 연구를 검토하고 향후 연구 방향을 제안합니다.