Datalog and TwoGroups and C++

  • Greg Butler
Conference paper

DOI: 10.1007/3-540-60156-2_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 958)
Cite this paper as:
Butler G. (1995) Datalog and TwoGroups and C++. In: Calmet J., Campbell J.A. (eds) Integrating Symbolic Mathematical Computation and Artificial Intelligence. AISMC 1994. Lecture Notes in Computer Science, vol 958. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Greg Butler
    • 1
  1. 1.Centre Interuniversitaire en Calcul Mathématique Algébrique Department of Computer ScienceConcordia UniversityMontrealCanada

Personalised recommendations