Prolog

Tags: declarative, reflective, rule-based, syntax-handling

Related tools: