What is it
- A Contextual Logic Programming (CxLP) extension of GNU Prolog
How to Install
- Debian system: add the line "deb http://dev.si.uevora.pt/debian/ ./" to the file /etc/apt/sources.list, and then just do "apt-get update; apt-get install gprolog-cx"
- Temporal representation and reasoning: a prototype that uses CxLP.
- ISCO language: logic programming language geared towards the development and maintenance of organisational information systems.