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"
Use Cases
Temporal representation and reasoning: a prototype that uses CxLP.
ISCO language: logic programming language geared towards the development and maintenance of organisational information systems.