Prolog Reasoning Engine

Interactive logical query interface with SLD resolution and backtracking

Examples: