Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
A basis for deductive database systems. II
Journal of Logic Programming
Cayley, Version 4: The User Language
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
| Hi-index | 0.00 |
This particular study investigates the application of Prolog and the associated technology of deductive databases to the realm of modern algebra. A relatively small, yet diverse, collection of information was chosen for the feasibility study. The 56 non-abelian simple groups of order less than one million have been studied in depth. In print are several tables of information such as minimal generating pairs, presentations, character tables, and maximal subgroups. The information is very heterogeneous in nature, involving formulae, tables, lists, arbitrary precision integers, character strings, irrational numbers, and rules for deducing information from the given facts.While very much a feasibility study, the work to date demonstrates that the Prolog deductive database technology is appropriate. More primitive data types, such as irrational numbers, infinite precision numbers, and tables would improve the efficiency of Prolog in this domain. More work categorizing user queries and incorporating the necessary facts and rules to answer them is required.