language: en

Aditi-Prolog language manual

James Harland David B. Kemp Tim S. Leask Kotagiri Ramamohanarao John A. Shepherd Zoltan Somogyi Peter J. Stuckey Jayen Vaghani

Abstract Aditi is a deductive database system under development at the Collaborative Information Technology Research Institute by researchers from the University of Melbourne. The main language in which users interact with Aditi is Aditi-Prolog. This document is a reference manual for Aditi-Prolog.

1 Introduction