Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Various built-in predicates (Equality, inequality, assignment, unification, comparison, type checking, arithmetic, regular expressions,... )
Top-down evaluation by SLDNF resolution (backward-chaining)
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License