 |
 |
|
|
 |
| |
| This section describes some
long-term software projects at the HCS Lab that produce public
available
products. |
|
|
Software available
from the HCS Lab |
 |
 |
| |
|
|
XPCE |
 |
 |
| A high-level GUI
library commonly in use with Prolog. Can easily be connected to other
languages due to its small interface. |
|
| |
|
|
SWI-Prolog |
 |
 |
| Popular comprehensive
Prolog environment based on ISO standard, Edinburgh Prolog, Quintus and
SICStus Prolog. |
|
| |
|
|
Garp3 |
 |
 |
| Qualitative Reasoning and Modelling software |
|
| |
|
 |
 |
 |
|