Comments (4)
from cplint.
Sorry, but I updated cplint (pack_upgrade(cplint)
and pack_rebuild(cplint)
) but there are still problems.
?- [library(cplint_test/test)].
?- test.
?- test.
% PL-Unit: coin prob(heads(coin),A),close_to(A,0.51).
% 206 inferences, 0.000 CPU in 0.000 seconds (100% CPU, 1205517 Lips)
ERROR: /home/hakank/lib/swipl/pack/cplint/prolog/cplint_test/test_pita.pl:87:
test h_c: received error: reset/3: Undefined procedure: plunit_coin:'toss tabled'/3
(prob(heads(coin),A),bar(A,B)),close_to(A,0.51),is_dict(B).
% 204 inferences, 0.000 CPU in 0.000 seconds (100% CPU, 1270316 Lips)
ERROR: /home/hakank/lib/swipl/pack/cplint/prolog/cplint_test/test_pita.pl:89:
test h_c_b: received error: reset/3: Undefined procedure: plunit_coin:'toss tabled'/3
(prob(heads(coin),A),bar1(A,B)),close_to(A,0.51),is_dict(B).
% 204 inferences, 0.000 CPU in 0.000 seconds (100% CPU, 1380851 Lips)
ERROR: /home/hakank/lib/swipl/pack/cplint/prolog/cplint_test/test_pita.pl:91:
test h_c_b2: received error: reset/3: Undefined procedure: plunit_coin:'toss tabled'/3
prob((heads(coin),biased(coin)),A),close_to(A,0.06).
% 274 inferences, 0.000 CPU in 0.000 seconds (100% CPU, 1663176 Lips)
ERROR: /home/hakank/lib/swipl/pack/cplint/prolog/cplint_test/test_pita.pl:93:
test h_c_b_c: received error: reset/3: Undefined procedure: plunit_coin:'toss tabled'/3
....
Also, the alarm.pl program still give errors:
$ swipl alarm.pl
?- prob(alarm(t),Prob).
ERROR: Undefined procedure: 'burg tabled'/3
ERROR: In:
ERROR: [34] 'burg tabled'(t,1340476,_11126)
ERROR: [33] reset(user:'burg tabled'(t,1340476,_11168),_11152,_11154) at /usr/lib/swi-prolog/boot/init.pl:400
ERROR: [32] '$tabling':moded_delim(user:burg(t,1340476,_11220),user:'$burg$1'(t,1340476),user:'burg tabled'(t,1340476,_11246),1353220,[]) at /usr/lib/swi-prolog/boot/tabling.pl:332
ERROR: [31] '$tabling':moded_activate(user:burg(t,1340476,_11300),user:'$burg$1'(t,1340476),_11280,user:'burg tabled'(t,1340476,_11326),<trie>(0x55d473c29670),1353220) at /usr/lib/swi-prolog/boot/tabling.pl:320
ERROR: [30] '$tabling':run_leader(user:burg(t,1340476,_11382),user:'$burg$1'(t,1340476),_11360,user:'burg tabled'(t,1340476,_11408),<trie>(0x55d473c29670),1353192,_11368) at /usr/lib/swi-prolog/boot/tabling.pl:301
ERROR: [29] setup_call_catcher_cleanup('$tabling':true,'$tabling':run_leader(...,...,_11458,...,<trie>(0x55d473c29670),1353192,_11466),_11436,'$tabling':finished_leader(_11476,1353192,...)) at /usr/lib/swi-prolog/boot/init.pl:468
ERROR: [28] '$tabling':start_tabling(user:burg(t,1340476,_11530),user:'burg tabled'(t,1340476,_11544),user:'$burg$1'(t,1340476),_11516) at /usr/lib/swi-prolog/boot/tabling.pl:269
ERROR: [27] burg(t,1340476,_11584) at /home/hakank/cplint/cplint/prolog/examples/alarm.pl:17
ERROR: [26] 'alarm tabled'(t,1340476,_11612) at /home/hakank/cplint/cplint/prolog/examples/alarm.pl:23
ERROR: [25] reset(user:'alarm tabled'(t,1340476,_11654),_11638,_11640) at /usr/lib/swi-prolog/boot/init.pl:400
ERROR: [24] '$tabling':moded_delim(user:alarm(t,1340476,_11706),user:'$alarm$1'(t,1340476),user:'alarm tabled'(t,1340476,_11732),1352804,[]) at /usr/lib/swi-prolog/boot/tabling.pl:332
ERROR: [23] '$tabling':moded_activate(user:alarm(t,1340476,_11786),user:'$alarm$1'(t,1340476),_11766,user:'alarm tabled'(t,1340476,_11812),<trie>(0x55d473c28f50),1352804) at /usr/lib/swi-prolog/boot/tabling.pl:320
ERROR: [22] '$tabling':run_leader(user:alarm(t,1340476,_11868),user:'$alarm$1'(t,1340476),_11846,user:'alarm tabled'(t,1340476,_11894),<trie>(0x55d473c28f50),1352756,_11854) at /usr/lib/swi-prolog/boot/tabling.pl:301
ERROR: [21] setup_call_catcher_cleanup('$tabling':true,'$tabling':run_leader(...,...,_11944,...,<trie>(0x55d473c28f50),1352756,_11952),_11922,'$tabling':finished_leader(_11962,1352756,...)) at /usr/lib/swi-prolog/boot/init.pl:468
ERROR: [20] '$tabling':start_tabling(user:alarm(t,1340476,_12016),user:'alarm tabled'(t,1340476,_12030),user:'$alarm$1'(t,1340476),_12002) at /usr/lib/swi-prolog/boot/tabling.pl:269
ERROR: [19] alarm(t,1340476,_12070) at /home/hakank/cplint/cplint/prolog/examples/alarm.pl:21
ERROR: [18] '$goal0'(1340476,_12096) 1-st clause of '$goal0'/2 <no source>
ERROR: [17] pita:get_node(user:'$goal0',1340476,_12130) at /home/hakank/lib/swipl/pack/cplint/prolog/pita.pl:701
ERROR: [16] pita:get_p(user:'$goal0',1340476,_12170) at /home/hakank/lib/swipl/pack/cplint/prolog/pita.pl:663
ERROR: [15] '$bags':findall_loop((alarm(t),_12218),pita:get_p(...,1340476,_12236),_12210,[]) at /usr/lib/swi-prolog/boot/bags.pl:98
from cplint.
@hakank everything shoul be fixed now. Try to update both cplint and bddem. Then try $ swipl prolog/cplint_test/test.pl
and ?- test.
from cplint.
Excellent! Thanks.
from cplint.
Related Issues (20)
- make some prob fixed in par learning HOT 1
- Error "Exported procedure pita:randomize/2 is not defined" HOT 8
- Problems in pita.pl : yield bddem errors HOT 6
- Missing definition of add_decision_var and compute_best_strategy HOT 2
- 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.