Visual Prolog

Tags: compiled, logic-based, object-oriented class-based

Related tools: