Datalog and TwoGroups and C++

. Datalog is the language of deductive databases, a first step towards intelligent relational databases. TwoGroups is a database of p- groups, primarily the groups of order dividing 2 8 , which has seen actually use by research mathematicians. TwoGroups was originally developed on the NU-Prolog platform. We report on our efforts to implement a Datalog interpreter in C++, and to implement TwoGroups in C++ on top of the Datalog platform. Although TwoGroups is very relational in style, its use of range queries means that Datalog is not the perfect platform on which to implement TwoGroups. However, TwoGroups can directly utilise the multi-attribute retrieval algorithms within the Datalog implementation which do support range queries. 1 Introduction TwoGroups is a database of p-groups, primarily the groups of order dividing 2 8 , which has seen actually use by research mathematicians. TwoGroups was originally developed on the NU-Prolog platform. The data is essentially relational so..