• The following features are for sure *not* in the Inductor Prolog engine (this is not an exhaustive list): - asserting or retracting anything besides a fact - declaring a function as dynamic like `dynamic(myRule/1)`: Anything can be changed in IndProlog, this declaration is not necessary - `;` (or) - `->` (if) - syntax like `a == b` instead of `==(a, b)` - `"` inside comments. Use `"This is a quote 'inside another quote' "` instead - Any Metaprogramming features or rules like `call`