>>63
μKanren のことはよくしらないけど、
assp は R6RS (※1) では rnrs lists ライブラリに含まれるので、
R6RS 処理系ではこのライブラリを import すると使えるようになる。
R6RS 以外には無い。

自分で書くとしたら SRFI-1 (※2) を使える状況なら
こんな感じで書くなぁ

(define (assp proc alist)
(find (lambda(x)(proc (car x)))
alist))

※1
　RnRS は Scheme の仕様書の通称。
　n に改定番号が入る。

※2
　小さい言語である Scheme では日常的に使うにはライブラリが足りなさげなので、
　ユーザーコミュニティとしてライブラリの仕様を考えて文書化したものの集合体が SRFI 。
　(RFC みたいな感じ？)
　SRFI-1 はその最初期のもので、リスト操作系のライブラリ。
　仕様の一部ではないので処理系によって SRFI の採用の程度は色々だけど、
　実用嗜好の処理系は主要なものはまあまあ取り込んでいる。
　今では仕様の検討の前段階として一旦 SRFI にしたりもしている。