This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Vitor Santos Costa 0f99e336cc YAPVERSION

2009-10-21 00:20:18 +01:00

..

chr @ e071f01c1d

YAPVERSION

2009-10-21 00:20:18 +01:00

CLPBN

minor changes to CLP(BN).

2009-10-21 00:05:23 +01:00

clpqr @ e3ee70d597

support exporting top-level-work as absolute path

2009-05-02 14:11:54 -05:00

cplint

added PICL program

2009-06-27 11:54:33 +02:00

jpl @ eb6d27251c

YAPVERSION

2009-10-21 00:20:18 +01:00

PLStream

make it compile back in Unix.

2009-07-20 23:13:36 -05:00

ProbLog

mention examples in README file.

2009-07-31 17:39:21 -05:00

sgml

fix passing LD

2009-10-16 08:09:50 +01:00

udi

updates to UDI package

2009-04-02 17:34:42 +01:00