Comments (8)
Try again now, I have updated cplint
from cplint.
Hi Fabrizio.
I ran pack_upgrade(cplint)
in SWI-Prolog a moment ago, but it says; Package "cplint" is up-to-date'.
pack_info(cplint)
says it's version 3.1.0 if that's some clue. I.e. I've still have this problem.
/Hakan
from cplint.
try with
pack_rebuild(cplint).
from cplint.
Still the same problem.
I now noticed that the latest commit in GitHub (master branch) is the "test file for initial par" commit, from 8 hours ago. It was after updating to that version that my problem started.
from cplint.
It may be laoding an old version of bddem.so, try this command in swipl
absolute_file_name(foreign(bddem),L,[solutions(all)]).
to see where it looks for the file.
If may look for it in another folder other that the one where the pack is installed.
Have you installed also trill? If so, that may be the problem. You need to delete bddem.so from the other locations
from cplint.
I did pack_remove(trill)
and then pack_rebuild(cplint)
and now it works.
Thanks!
from cplint.
You can reinstall pack trill, it is now compatible
from cplint.
Excellent. Thanks!
from cplint.
Related Issues (20)
- make some prob fixed in par learning HOT 1
- Problems in pita.pl : yield bddem errors HOT 6
- Missing definition of add_decision_var and compute_best_strategy HOT 2
- Problems with master branch HOT 4
- Errors in examples HOT 2
- duel.pl in examples directory throws an error HOT 3
- Strange error in mc for SWI-Prolog version 8.1.14 HOT 4
- Expensive use of findall/3 HOT 2
- Redundant (and costly) use of call/1 HOT 1
- Wrong erase/1 HOT 1
- Flexible probabilities with ProbLog syntax HOT 1
- call predicates outside of lpad scope
- Negative Probability Values and Probability Bounds HOT 1
- Bug in `mc_mh_sample/4` HOT 4
- Error while getting graphical result HOT 2
- Rules with Disjunction in the Body HOT 1
- Pascal distribution HOT 4
- Get proof trees for queries on probabilistic logic programs? HOT 5
- ?:: operator
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from cplint.