Integrating Symbolic Mathematical Computation and Artificial Intelligence

Volume 958 of the series Lecture Notes in Computer Science pp 80-92


Datalog and TwoGroups and C++

  • Greg ButlerAffiliated withCentre Interuniversitaire en Calcul Mathématique Algébrique Department of Computer Science, Concordia University

* Final gross prices may vary according to local VAT.

Get Access


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 28, 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.