Installing ProbLog¶

You will need the CUDD binary decision daagram generator. CUDD is available in Fedora Linux, MacPorts and other Linux distributions. If it is not available in your system, please fetch it from:

• [mailto:git@github.com:vscosta/cudd.git]

To compile CUDD you will need to run:

• ./configure --enable-dynamic=true

• make

• make -j install

group__InstallingProbLog_1autotoc_md30

Requiremen_s¶

For installing and running ProbLog, the following are required:

• a reasonable up-to-date computer, running Linux or Mac OS

• YAP Prolog 5.1.3 (for Mac OS the more recent version 5.1.4 is needed) or YAP-6

group__InstallingProbLog_1autotoc_md31

Downlo_d¶

To install ProbLog1, it is first necessary to download SimpleCUDD or CUDD. YAP Prolog also needs to be downloaded if it is not already installed on the machine

For downloading SimpleCUDD, go to:

• http://www.cs.kuleuven.be/$sim$theo/tools/SimpleCUDD.tar.gz

You can also use the CUDD interface package in YAP. You will need to

1. If a Fedora user, CUDD is just available.

2. If a Mac user, there is a ports package.

3. Otherwise, you can obtain the version at . This version compiles under WIN32.

Last, when you configure YAP you need to add the options with-cidd enable-bddlib. Binary distributed versions already have the interface.