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