QuLog is a higher-order logic/functional/string processing language with an imperative rule language sitting on top, defining actions. QuLog's action rules are used to program multi-threaded communicating agent behaviour. Its declarative subset is used for the agent's belief store. The language is flexibly typed and allows a combination of compile time and run-time type checking.
QuLog supports type safe meta-level programming to complement its type safe higher order programming.
It is the implementation and belief store language of our multi-threaded TeleoR agent architecture.
Table of Contents | Overview of QuLog | Getting Started | Syntax | Built-ins | Standard Operators | Index |