|ICCS 2001 Workshop|
CG Tool Information
SynopsisA general purpose programming language featuring CGs as first class values, pCG was motivated out of a desire to implement Mineau's Process mechanism and to make progress toward his notion of a Conceptual Programming Environment (see ICCS 1998, "From Actors to Processes"). It is essentially an object-based language, also permitting functional and declarative programming styles. pCG is redistributable under the GNU General Public License.
PlatformJava 2 (JDK 1.2.2). Tested under Windows 98, Windows 2000 and Linux 2.2 (RedHat 6.0).
Compliance with CGTools CGIF final graphs
SyntacticLevel 5. pCG's CGIF parser can handle the complete syntax as specified in Sections 7.1 and 7.2 of the June 2001 version of the CG Standard.
SemanticLevel 2. pCG's current CGIF parser implicitly incorporates concept and relation type lattices into the currently active pCG Knowledge Base via the subtype relation, e.g.(GT [TypeLabel: "Entity"] [TypeLabel: "Hand"]) as specified in Section 7.3 of the June 2001 version of the CG Standard. Since pCG does not however currently apply any interpretation to the context labels KnowledgeBase, TypeHierarchy, RelationHierarchy, CatalogOfIndividuals, or Assertion, a semantic compliance level of higher than 2 cannot yet be claimed. Moreover it does not yet handle the semantics associated with CGIF lambda expressions, disjuncts, conjuncts (i.e. types must be labels), or structure descriptors.
Author InformationDavid Benn, firstname.lastname@example.org, http://www.adelaide.net.au/~dbenn/
Dan Corbett, email@example.com