Prolog+CG
Prolog+CG is an implementation of Prolog with extensions for supporting the Conceptual Graph theory of John Sowa, as well as Object-Oriented extensions. CGs are first-class data objects, and thus completely integrated into the language. Prolog+CG can be used for knowledge representation, reasoning about meaning, formal narratological analysis, and other knowledge representation tasks.
| Tags | Scientific/Engineering Artificial Intelligence education |
|---|---|
| Licenses | LGPL |
| Implementation | Prolog Java |
Recent releases
- 23 Aug 2005 09:36
Changes: The code was cleaned up and refactored into maintainable code. The built-in debugger was fixed so that it works again. A Win32 installer was added.
- 06 Apr 2005 19:03
Changes: Prolog+CG can now be run as a Java applet. Many new built-in predicates have been added, a few bugs have been fixed, and the manual has been completely overhauled.
- 16 Oct 2004 14:11
Changes: A major bug was fixed whereby built-in goals such as maximalJoin and branchOfCG would not return all possible values. The concOfCG built-in goal was expanded to also do variable substitution.
- 21 Sep 2004 11:37
Changes: Variables starting with an underscore are not treated as such. Non-atoms in type hierarchies or catalogs of instances are no longer allowed. This release ignores carriage returns in program code. The caret is no longer repositioned in the console after every mouse click.
- 16 Jul 2004 11:42
Changes: A copy function was added to the console. This is useful if you wish to run the same query over and over.
