Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization

작성자

카테고리:

← 피드로
Hacker News · Jimmc414 · 2026-08-04 커뮤니티

▲ 3점 · 댓글 💬 0개 · 해커뉴스

원문 보기 ↗

출처: arxiv.org · https://arxiv.org/abs/2607.25373

코멘트

답글 남기기

이메일 주소는 공개되지 않습니다. 필수 필드는 *로 표시됩니다