Welcome to Squl’s documentation!

Contents:

• Introduction
  • Origins
  • Differences from Prolog
• Faish Tutorial
  • Language basics
  • Using Faish
  • Literals
  • Making a list
  • If-then rules
  • Managing module imports
  • Language conventions
  • Writing Tests
• The Squl Language
  • Squl language syntax (version 0.2)
  • Squl language semantics
• Modules
  • Module importing
  • Examples
  • Repositories
  • Module export file format
• Using the Faish user interface
  • Organising modules
  • Entering statements
  • Queries
  • Using the deduction browser.
  • Adding imports
• Graphics and User Interaction
  • Tocks
  • Working Modules
  • Command-line Interface
  • Canvas interface
  • Future plans

Indices and tables

• Index
• Module Index
• Search Page