0 Overview of QuLog
1 Getting Started
1.1 Environment Variables
1.2 Data Areas
1.3 Running the Interpreter
2 Syntax
2.1 Constants
2.1.1 Atoms
2.1.2 Numbers
2.1.3 Strings
2.2 Variables
2.3 Compound Terms
2.4 Expressions
2.5 Function calls
2.6 Lists
2.7 Sets
2.8 Programs
2.8.1 Type Definitions
2.8.2 Type Declarations
2.8.3 Simple Conditions for Rules and Relation Queries
2.8.4 Relation Definitions
2.8.5 Action Definitions
2.8.6 Function Definitions
2.8.7 TR Program Definitions
3 Built-Ins
3.1 Introduction
3.2 Input / Output
3.2.1 Term Input / Output
3.3 Terms
3.3.1 Comparison of Terms
3.3.2 Testing of Terms
3.3.3 List Processing
3.4 Arithmetic
3.5 Other Functions
3.6 Other Relations
3.7 Other Actions
3.8 TeleoR Specific Actions
4 Standard Operators
Appendix EBNF Grammar for Qulog
Table of Contents Overview of QuLog Getting Started Syntax Built-ins Standard Operators Index