Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
在目录中
9,253 次浏览356 今日读者19 次分享
Musharof Chy•2025/02/21•1 分钟阅读•11 个月前更新
Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
Musharof Chy•2025/02/21•1 分钟阅读•11 个月前更新