关于服务
翻译我是一名在 Prolog 中从事逻辑编程范式的开发者，多年来我解决了普通命令式和机器学习方法处理不佳的问题。在正常代码逐步说明如何做某事的情况下，我描述您领域的事实和规则，逻辑推理引擎负责寻找答案。这种声明性风格非常适合专家系统、合规检查、调度、诊断以及任何规则复杂、经常变化且必须可审计的情况。当解决方案需要被解释，而不仅仅是交付时，Prolog 知识库提供了透明的推理链，而不是不透明的黑箱。
在实践中，我构建编码数百个业务政策的规则引擎，约束求解器在实际限制内分配、路由和打包资源，以及建模分类法、本体和实体之间关系的知识库。我编写仔细、良好索引的谓词，应用确定性子句语法解析结构化输入，并在有限域上使用约束编程进行调度和配置任务。我还将 Prolog 连接到外部世界：将推理逻辑暴露为 API，将其嵌入到 Python、Java 或 C 的更大服务中，并将其连接到 SQL 和文档存储，以便逻辑层与数据和展示保持清晰分离。
除了构建新系统外，我还拯救和清理庞大的遗留逻辑，优化过度回溯的查询，并添加解释和追踪，以便非程序员可以信任结果。无论您需要推理想法的原型、一个可工作的专家系统，还是一个棘手的组合求解器——我将从规范到经过测试、文档化和可维护的交付完成任务。
— SWI-Prolog 和兼容方言中的专家系统和规则引擎
— 在有限域上使用 CLP(FD) 进行约束求解和调度
— 知识库、本体和语义推理
— 用于解析和解释输入的确定性子句语法
— 与 Python、Java、C、SQL 和 Web API 的集成
— 遗留逻辑的重构、优化和可解释推理
在实践中，我构建编码数百个业务政策的规则引擎，约束求解器在实际限制内分配、路由和打包资源，以及建模分类法、本体和实体之间关系的知识库。我编写仔细、良好索引的谓词，应用确定性子句语法解析结构化输入，并在有限域上使用约束编程进行调度和配置任务。我还将 Prolog 连接到外部世界：将推理逻辑暴露为 API，将其嵌入到 Python、Java 或 C 的更大服务中，并将其连接到 SQL 和文档存储，以便逻辑层与数据和展示保持清晰分离。
除了构建新系统外，我还拯救和清理庞大的遗留逻辑，优化过度回溯的查询，并添加解释和追踪，以便非程序员可以信任结果。无论您需要推理想法的原型、一个可工作的专家系统，还是一个棘手的组合求解器——我将从规范到经过测试、文档化和可维护的交付完成任务。
— SWI-Prolog 和兼容方言中的专家系统和规则引擎
— 在有限域上使用 CLP(FD) 进行约束求解和调度
— 知识库、本体和语义推理
— 用于解析和解释输入的确定性子句语法
— 与 Python、Java、C、SQL 和 Web API 的集成
— 遗留逻辑的重构、优化和可解释推理
