We show some examples of the use of the Jekejeke Minlog module.
Readers who might be interested in getting a quick grip Jekejeke
Minlog module and who have already a basic knowledge of forward
chaining might stick to this section only.
- Bonner’s Examples: Two small examples from the
Jekejeke Minlog tool box for hypothetical and counter factual
- Animals Revisited:
Normal Prolog rules can be turned into forward chaining rules by
simply declaring the relevant predicates forward. The given
example shows a small expert system. More...
- Palindrome Revisited: It
is also possible to execute grammar rules in a forward man-ner.
The given example allows detecting palindromes. More...
- Money Revisited: We
show how a letter puzzle can be solved with the bundled finite
domain constraint solver. More...
- Little Solver: We present a sketch on how a little
custom constraint solver can be implemented via forward chaining
- Type Inference: We show how a sound type inference
algorithm can be implemented in using a subject to occurs check