An Unofficial FastLAS Tutorial: A Programmer's Guide

Abstract: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.

49 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 this https URL

Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

I.2.6; I.2.3; D.1.6

arXiv:2607.23557 [cs.LO]

(or arXiv:2607.23557v1 [cs.LO] for this version)

https://doi.org/10.48550/arXiv.2607.23557 arXiv-issued DOI via DataCite (pending registration)