search

vscosta / yap-6.3

YAP Development release
Other
13 stars 5 forks source link

Examples from ProbLog not working #57

Open aosti opened 4 years ago

aosti commented 4 years ago

Steps to reproduce:

  1. Build the docker image
  2. Run the image with the command docker run -it yap /bin/bash
  3. Go to the folder where the problog examples are located. Inside the docker it is located in /app/yap/packages/ProbLog/problog_examples/.
  4. Run yap.
  5. Load the viralmarketing example with the command [viralmarketing].
  6. Try to get a solution with dtproblog_solve(Strategy,ExpectedValue).

Expected result: ?- dtproblog_solve(Strategy,ExpectedValue). ExpectedValue = 3.21097, Strategy = [marketed(martijn),marketed(guy),marketed(theo),marketed(ingo)]

As described in https://dtai.cs.kuleuven.be/problog/problog1/tutorial-dtproblog.html. However, this query just fails with the following message:

?- dtproblog_solve(Strategy,ExpectedValue). procedure user:problog_marketed(_11862,bernd,_11864) does not exist