Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
