The University of Queensland
Menu
Home
Pjr
HomePages
QulogFiles
Qulog User Guide
Next:
Contents
, [
Contents
]
QuLog
User Guide
Keith L. Clark and Peter J. Robinson
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
About this document ...
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