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.
展开▼
