手把手教写逻辑程序，快速上手FastLAS系统。
An Unofficial FastLAS Tutorial: A Programmer's Guide
- 按编程指南逐步学习，从语法到实战例题
- 每个例子均实测通过FastLAS 2.2.0运行验证
- 适合想快速掌握ILP编程的开发者
FastLAS 是一种可扩展的归纳逻辑编程（ILP）系统：输入背景知识、语言偏置和若干示例，系统会搜索一组逻辑规则（假设），以解释这些示例。本文档为程序员导向的非官方教程，按语法先行、循序渐进的方式组织，包含编号的自包含实例，难度逐级提升。所有示例均在 FastLAS 2.2.0 上实际运行并展示输出结果。理论内容仅保留编写正确程序所需的最小限度；文中用注释标出 FastLAS 与同类系统 ILASP 的差异，以及两种学习算法（--opl 与 --nopl）的行为区别。本文件并非正式语言规范，而是面向 FastLAS 2.2.0 的实践入门指南。
原文摘要 · Abstract (English)
FastLAS is a scalable system for Inductive Logic Programming (ILP): you give it some background knowledge, a language bias, and a set of examples, and it searches for a set of logic program rules (a hypothesis) that explains the examples. These notes are a hands-on introduction to writing FastLAS programs. They are organised as a programmer's guide: syntax first, then a ladder of worked, numbered examples of increasing difficulty. Every self-contained example here has been run against FastLAS 2.2.0 and shows the tool's actual output. We keep theory to the minimum needed to write correct programs; throughout, set-off notes flag where FastLAS differs from its sibling system ILASP, and where the two learning algorithms (--opl and --nopl) behave differently. The document is intended as an unofficial tutorial to FastLAS 2.2.0, not as an official language specification.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。