Prolog+CG 2.0

Our generous host:

Documentation overview

You can get information via:

• The manual in HTML and PDF versions.
• A Course in Knowledge Representation at Aalborg University.
  Module I introduces CGs.
  Module II introduces Prolog+CG.
• A number of articles (referenced below)
• The sourcecode

References

The following scholarly articles and theses concern Prolog+CG:

• Kabbaj, Adil, C. Frasson, M. Kaltenbach and J-Y Damien (1994): A Conceptual and Contextual Object-Oriented Logic Programming : The PROLOG++ language. In: Tepfenhart, William M. and Judith P. Dick and John F. Sowa (eds.): Conceptual Structures: Current Practices -- Second International Conference on Conceptual Structures, ICCS'94, College Park, Maryland, USA, August 1994, Proceedings. Springer Verlag, Berlin. Lecture Notes in Artificial Intelligence (LNAI) Volume 835. Pages 251-274.

• Kabbaj, Adil (1996): Un systeme multi-paradigme pour la manipulation des connaisances utilisant la theorie des graphes conceptuels. PhD thesis, Universite de Montreal, Canada.

• Kabbaj, Adil and Martin Janta-Polczynski (2000): From PROLOG++ to PROLOG+CG : A CG Object-Oriented Logic Programming Language. In: Ganter, Bernhard and Guy W. Mineau (eds.): Conceptual Structures: 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000, Proceedings. Springer Verlag, Berlin. Lecture Notes in Artificial Intelligence (LNAI) Volume 1867. Pages 540-554.

• Kabbaj, Adil, Bernard Moulin, Jeremi Gancet, David Nadeau and Olivier Rouleau (2001): Uses, Improvements, and Extensions of Prolog+CG : Case Studies. In: Delugach, Harry and Gerd Stumme (eds.): Conceptual Structures: 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July/August 2001, Proceedings. Springer Verlag, Berlin. Lecture Notes in Artificial Intelligence (LNAI) Volume 2120. Pages 346-359.