Non-procedural logic programming
On transformation of logic specifications into procedural programs
Visual representation of procedural knowledge