An Unofficial FastLAS Tutorial: A Programmer's Guide

2026-07-26

AI Summary

This work addresses the high barrier to entry for developers seeking to apply inductive logic programming (ILP) due to the absence of practical, developer-oriented guidance for the FastLAS system. To bridge this gap, we present the first unofficial, programmer-centric tutorial for FastLAS 2.2.0, offering a systematic, hands-on introduction through progressively structured, executable, and validated examples. The tutorial clarifies key distinctions between FastLAS and ILASP, compares the behaviors of different learning algorithms, and emphasizes practical implementation over theoretical exposition. By providing a comprehensive and reproducible pathway from beginner to advanced usage, this guide substantially lowers the difficulty of employing FastLAS for rule learning in real-world programming contexts.

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.

Problem

• FastLAS
• Inductive Logic Programming
• programmer's guide
• logic program rules
• tutorial

Innovation

• Inductive Logic Programming
• FastLAS
• programmer's guide
• scalable ILP system
• logic program synthesis