Projects of the Programming Technology Group at DI/CITI/UE

A Native Prolog Compiler with Contextual Logic Programming and Constraint Solving over Finite Domains, based on GNU Prolog.

• Manual
• Repository:Debian packages of GNU Prolog/CX
• GNU Prolog/CX command line
• Examples

This content may also be found here.

ISCO is a logic programming language geared towards the development and maintenance of organisational information systems. You can think as ISCO being a Prolog with persistency (Postgres, LDAP, ...), classes, inheritance, non-positional arguments, etc.

• Manual
• Repository:Debian packages
• ISCO command line
• Examples
• Utilities

• Krazy-Glue