发表机构
University of Verona; University College London（维罗纳大学; 伦敦大学学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文为非官方FastLAS 2.2.0教程，是程序员指南。介绍其作为归纳逻辑编程系统的功能，通过先语法后示例的方式讲解编写程序，包含不同难度示例及实际输出，还标注了与ILASP的差异及两种算法的不同表现。
AI 中文摘要
FastLAS是用于归纳逻辑编程（ILP）的可扩展系统：输入背景知识、语言偏好和一组示例，它会搜索一组解释这些示例的逻辑程序规则（假设）。这些笔记是编写FastLAS程序的实践指南，按程序员指南组织，先介绍语法，再给出难度递增的示例。每个示例都在FastLAS 2.2.0上运行并展示实际输出。尽量减少理论，标注了FastLAS与其姊妹系统ILASP的不同，以及两种学习算法（--opl和--nopl）的不同表现。本文件旨在作为FastLAS 2.2.0的非官方教程，而非官方语言规范。
英文摘要
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.
Comments52 pages. A tutorial on the FastLAS input language. All examples are verified against FastLAS 2.2.0 and clingo 5.8.0; the accompanying task files are available at https://github.com/dasaro/fastlas_manual
