Visual representation of procedural knowledge

Traditionally, knowledge representation (KR) languages have declarative semantics based on classical logic and have a concrete syntax that is textual. Conversely, programming languages (PL) have mainly procedural semantics and are represented in visual terms. Moreover, PLs can only represent procedures at a very low level. Our conceptual programming language (CPL) bridges this gap, while still retaining visual appeal. It has both the declarative semantics of a KR language and the procedural semantics of a PL. CPL is a visual language for expressing procedural knowledge explicitly as programs.