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 ...