Show HN: Vibe Prolog
3 months ago
- #Open Source
- #AI Coding
- #Prolog
- Anthropic在2025年11月初为Claude Code提供了250美元积分，有效期至11月18日。
- 用户意外地在手机上用周末时间编写了一个Prolog解释器，尽管已有20年未使用Prolog。
- 该项目旨在探索该解释器的极限，提供了诸如'mammal(X)'和'grandparent('tom', Y)'等查询示例。
- 指导原则包括不使用人工编写的代码、避免马虎、利用所有可用工具、添加测试以及不满足于平庸的代码。
- 该项目采用MIT许可证，但AI编写代码的版权状态尚不明确。
- 鼓励通过PR（拉取请求）进行贡献，并欢迎希望其工具被用于该项目的工具供应商参与。