The LAMA® paradigm for learning and using computational logic is distinguished by a number of revolutionary hallmarks. For example, the paradigm: (1) harnesses cutting-edge AI to help students learn; (2) puts them in position to use computational logic-based technologies in a marketplace increasingly infused with AI and machine learning based in many cases upon such technologies; (3) covers not just deductive logic, but inductive logic (which includes such non-deductive inference patterns as are seen in analogical and abductive reasoning); and (4) tightly weaves together natural languages such as English with the languages of LAMA®'s formal logics. (For a full list of LAMA®'s hallmarks, see this richer description of the revolutionary paradigm.) Chief among LAMA®'s AI systems are HyperSlate® and HyperGrader®, both published by Motalen.
HyperSlate® is a hypergraphical system for building proofs, arguments, and programs (the latter in the new programming language HyperLogTM), in collaboration with AI. The system has built-in automated reasoners that can be enlisted to automatically solve sub-problems, and join humans in the search for full solutions. Assuming that an access code has been purchased, one can use it to register here, and then from there proceed to exploring HyperSlate®.
HyperGrader® is the automated assessment system that works in tandem with HyperSlate®. In addition to analyzing proofs and arguments crafted in HyperSlate®, HyperGrader® can also guide students by offering feeback on partially correct solutions. In addition, and this is revolutionary, HyperGrader® can generate problems and challenges for humans (including of course students) to tackle and learn from. Assuming that an access code has been purchased, one can use it to register here, and then from there proceed to using HyperGrader®.
The LAMA® paradigm includes an array of textbooks and booklets from Motalen, covering quite literally all of logic, logic-based AI, pure general logic programming (a superset of Prolog and its variants), and application areas that in the marketplace make crucial use of logic-based AI and logic-based information-processing (e.g. relational database formalisms and technology that run from Datalog to SQL, and the Semantic Web).
LAMA® includes a space of logic-based games that can be used to learn logic and logic-based computer programming, including LogicNimℒ, Obligato∞, and Catabot Rescue.