The University of Queensland
Menu
Home
Pjr
HomePages
QulogFiles
Qulog User Guide
Next:
Introduction
, Previous:
QuLog User Guide
, Up:
QuLog User Guide
[
Contents
]
Contents
Introduction
QuLog Type system
Type flexibility and runtime type checking
Sub-type relation and modes
Ground terms and modes of use
Syntax
Type Declarations
Enumerated Types
Macro and Union Types
Code Types
Default Arguments for Code Types
Doc Strings
Constraints on Type Declarations
QuLog Relation Rule Subset
QuLog Function Rule Subset
QuLog Action Rule Subset
General use of the QuLog Interpreter
Starting the interpreter
Controlling the number of answers given for a relation query
Action calls and commands
Seeing code type declarations
Debugging using watch
Advanced Topics
Language Extensions
Building a Runtime Application
On This Site
Node1
Node10
Node11
Node12
Node13
Node14
Node15
Node16
Node17
Node18
Node19
Node2
Node20
Node21
Node22
Node23
Node24
Node25
Node26
Node27
Node3
Node4
Node5
Node6
Node7
Node8
Node9
Qulog User Guide