The University of Queensland
Menu
Home
Pjr
HomePages
QulogFiles
Refman
Next:
History of QuLog/TeleoR
, Previous:
Top
, Up:
Top
[
Contents
][
Index
]
1 Overview of QuLog/TeleoR
•
What is QuLog?
•
What is TeleoR?
•
Unique operational semantics of a TeleoR procedure call
On This Site
Action Definitions
Action Sequences
Arithmetic Functions And Relations
Atoms
Built 002dIns
Built In Types
Builtin Introduction
Comparison Of Terms
Complex Conjunctions
Compound Terms
Data Areas
Data Constants
EBNF Grammar For QuLog 002fTeleoR
Environment Variables
Function Calls
Function Definitions
Getting Started
High Level Inter 002dprocess Communication Using Pedro
Higher Order QuLog With Function Rules And Action Sequence Rules
History Of QuLog 002fTeleoR
Input 002fOutput Actions
List Comprehension Expressions
List Processing
Listing Of Builtin Types
Lists
Message Sends 002fReceives And Message Addresses
Modes And Moded Types
Multi 002dthreaded Qu 002dProlog
Numbers
Other Actions
Other Functions
Other Relations
Overview Of QuLog 002fTeleoR
Programming Multi 002dtasking Communicating Robotic Agents Using Task Atomic TeleoR Procedures
Programs
QuLog Index
Receive Action
Relation Definitions
Remote Querying
Reserved Words
Semantics
Semantics Introduction
Semantics Of Actions
Semantics Of Relations
Semantics Of TeleoR Procedures
Set Comprehension Expressions
Sets
Standard Operators
Strings
Syntax
Teleo 002dReactive 0028T 002dR 0029 Procedures As Qu 002dProlog Terms
TeleoR Procedure Definitions
TeleoR Specific Actions
Term Tests And Manipulation
Testing Of Terms
The Qu 002dProlog Ancestor
Type Checking And Inference
Type Declarations
Type Definitions
Types
Types And Modes For Compile Time Guarantee Of Correct Robot Actions
Unique Operational Semantics Of A TeleoR Procedure Call
User Defined Types
Using The QuLog Interpreter
Using The TeleoR Interpreter
Variables
What Is QuLog 003f
What Is TeleoR 003f