Pure, declarative, and constructive arithmetic relationsA declarative pearl Posted on April 14, 2008 (Last modified on July 10, 2026) | 1 min | William E. Byrd Oleg Kiselyov Daniel P. Friedman Chung-Chieh Shan[Read More]Categories: scheme logic programming