https://github.com/friguzzi/cplint

sort by:
Revision Author Date Message Commit Date
68d041f mc_particle_sample/4 available 08 February 2024, 07:58:50 UTC
804265f docs for highlight 11 December 2023, 07:25:53 UTC
cc84f13 reexported pred are not documented, inserted link to doc of reexported modules 11 December 2023, 07:24:24 UTC
c369591 new docs 10 December 2023, 20:14:53 UTC
199ad52 fixed loading of clpr 10 December 2023, 20:14:30 UTC
ba6b126 Updated pldoc 09 December 2023, 17:01:36 UTC
a603414 added link to cplint_r PlDoc 09 December 2023, 10:56:10 UTC
c51541b removed links to pldoc on swi-prolog server 09 December 2023, 09:08:33 UTC
5f2bc70 fixed the links to pldoc 09 December 2023, 09:02:49 UTC
49f33b4 updated man 09 December 2023, 08:52:16 UTC
ef94c3a updated man + pldoc 09 December 2023, 08:50:44 UTC
000b02a code for building pldoc 09 December 2023, 08:49:20 UTC
5496a1e replaced old man links 09 December 2023, 08:47:16 UTC
2da027f fixed a typo 08 December 2023, 20:00:31 UTC
7bc56b3 sample_raw with histogram 08 December 2023, 18:56:04 UTC
0e58992 histogram, density and densities now accept also lists of plain values 08 December 2023, 15:44:08 UTC
40863b2 added must_be checks to cplint_util 08 December 2023, 14:32:55 UTC
6221220 links to pldoc 02 December 2023, 18:51:52 UTC
c6538fe removed depemdemce on rb_trees from kbest.pl 08 November 2023, 08:44:23 UTC
fb666af renamed key->key_pair value->value_pair to avoid clash with janus 08 November 2023, 08:27:12 UTC
0b7e73d fixed link to gauss_mean_est_user.pl 07 November 2023, 06:15:23 UTC
c6a948f updated manual 06 November 2023, 08:51:29 UTC
a973e31 name of the parameters of negative_binomial 06 November 2023, 08:49:27 UTC
759c4b9 compiled manual 29 October 2023, 07:45:07 UTC
25d9abe renamed title of manual 29 October 2023, 07:43:54 UTC
14a353e fixed discontiguous get_node clauses 28 October 2023, 12:52:21 UTC
bdf1000 must_be checks in kbest, lemur and slipcover 28 October 2023, 10:56:17 UTC
2d8ff71 must_be in pitaind 28 October 2023, 10:42:50 UTC
e4796b8 must_be in set_mc 28 October 2023, 10:42:35 UTC
03e85dd built manual 28 October 2023, 10:35:59 UTC
4670156 must_be cehcks for mcintyre, updated manual 28 October 2023, 10:31:02 UTC
7eff9e0 updated doc and pldoc with arg types 28 October 2023, 09:24:12 UTC
bbcc9ee added argument checks with must_be in pita 28 October 2023, 09:17:47 UTC
a402fa4 added some arguments checks 28 October 2023, 08:55:56 UTC
3485b5f fixed pldoc and manual on viterbi and added must_be checks 28 October 2023, 08:33:57 UTC
5026430 test/6->test_prob/6 14 May 2023, 12:35:21 UTC
2073d99 mcaction in manual 20 April 2023, 10:02:54 UTC
21472bb update comment on widgetmsw.pl 20 January 2023, 08:37:49 UTC
16a1caa update comment 20 January 2023, 08:37:12 UTC
033938b Merge branch 'master' of github.com:friguzzi/cplint 20 January 2023, 08:35:40 UTC
8984f2e modified widget to match CR's paper 20 January 2023, 08:35:18 UTC
9bc5f55 renamed pascal -> negative_binomial 22 August 2022, 10:12:11 UTC
247bdfa fix in pascal distribution 22 August 2022, 07:54:05 UTC
b4497e8 Better error handling in utility/2 29 March 2022, 10:18:48 UTC
2b799da fix high probability 03 February 2022, 10:06:51 UTC
60a34a2 rollback 03 February 2022, 08:05:25 UTC
33f5e6a fix high probability values 02 February 2022, 17:56:44 UTC
c3af317 Merge branch 'master' of https://github.com/friguzzi/cplint 02 February 2022, 14:52:18 UTC
e74ee84 removed if from the management of negative literals. Non ground negation no more allowed 02 February 2022, 14:49:44 UTC
6652d09 solved issue #43 Flexible probabilities with ProbLog syntax 01 February 2022, 16:52:58 UTC
6f228b4 indian_gpa in DC syntax 23 January 2022, 12:20:00 UTC
15bfa8d cplint syntax highlighting 23 January 2022, 12:13:33 UTC
f1f420f comment specifying left rec grammar 23 January 2022, 11:47:11 UTC
62db4d9 floundering negation allowed 23 January 2022, 11:36:33 UTC
e7fab11 Merge branch 'master' of github.com:friguzzi/cplint 23 January 2022, 09:34:57 UTC
bf2e6ca bug in pcfg.pl: rule->grammar_rule because of conflict with the system 23 January 2022, 09:34:21 UTC
664bbca typo 14 January 2022, 16:00:56 UTC
667a940 removed choice point in perm_map/2 09 December 2021, 07:02:50 UTC
8808f42 replaced extract_vars with term_variables, removed dependency from rbtrees 14 November 2021, 07:10:53 UTC
f003787 removed unused predicate 29 October 2021, 12:26:34 UTC
f2b79d0 cleanup and fix tests 29 October 2021, 07:39:41 UTC
96077da Merge remote-tracking branch 'origin/abduction' 29 October 2021, 07:18:17 UTC
f0170ac docs for multinomial dist 12 October 2021, 12:06:05 UTC
60f4f58 new examples 12 October 2021, 09:19:27 UTC
bd26061 multinomial distribution 26 September 2021, 18:01:11 UTC
7d7f482 test abd 02 August 2021, 07:48:59 UTC
8a94161 muliple expl 02 August 2021, 06:10:22 UTC
4f04f35 fixed example query 06 June 2021, 06:53:56 UTC
28b3342 rename in/2 to inside/2 to avoid clash with internal predicate 05 June 2021, 17:35:05 UTC
e9f4a02 url of man 01 June 2021, 17:54:19 UTC
a31a87e url of man 01 June 2021, 17:53:48 UTC
43fa20e url of man 01 June 2021, 17:53:10 UTC
821d5d4 url of man 01 June 2021, 17:52:57 UTC
6e7de27 fixed pldoc for swi_builtin/1 01 June 2021, 17:37:20 UTC
bd39d06 new cplint on swish url 01 June 2021, 17:29:44 UTC
bc81b26 removed s/2 from interface, remove broken link to help 01 June 2021, 17:27:32 UTC
8d69888 removed useless code, fixed pldoc module name 01 June 2021, 17:22:29 UTC
38a2490 solved the problem of three class classification (mutual exclusivity) 13 May 2021, 09:47:45 UTC
25308d2 fixed a bug in get_node for negative exs (returing bdd 0 when the goal is not derivable) 22 March 2021, 11:33:30 UTC
fb74c8f renamed in->inside in bongard to avoid conflict with in/2 of clpfd 16 March 2021, 14:44:38 UTC
b789aa5 new examples for MAP/Viterbi 24 December 2020, 11:08:57 UTC
1d2a42c - removed mpe (ex vit) predicates because they did not perform nor mpe nor viterbi in fact, on example (bag_game_mpe.pl) win :- red, green. win :- blue, yellow. 0.4::red. 0.9::green. 0.5::blue. 0.6::yellow. ?- mpe_prob(win,P,Exp). returns P=0.36 Exp=[ rule(0, red, [red:0.4, '':0.6], []), rule(1, green, [green:0.9, '':0.09999999999999998], [])] which is not the mpe solution, which is Exp = [ rule(0, red, [red:0.4, '':0.6], []), rule(1, green, [green:0.9, '':0.09999999999999998], []), rule(2, blue, [blue:0.5, '':0.5], []), rule(3, yellow, [yellow:0.6, '':0.4], [])] but a viterbi solution (bag_game_vit.pl). On the other hand on (eruption_mpe.pl) eruption : 0.6; earthquake : 0.3 :- sudden_energy_release, fault_rupture(_). sudden_energy_release : 0.7. fault_rupture(southwest_northeast) : 0.6. fault_rupture(east_west) : 0.55. ev :- eruption. the query mpe(ev,P,MPE) returns MPE = [rule(1, sudden_energy_release, [sudden_energy_release:0.7, '' : 0.30000000000000004], []), rule(2, fault_rupture(southwest_northeast), [fault_rupture(southwest_northeast):0.6, '' : 0.4], []), rule(3, fault_rupture(east_west), [fault_rupture(east_west):0.55, '' : 0.44999999999999996], []), rule(0, eruption, [eruption:0.6, earthquake:0.3, '' : 0.10000000000000003], [sudden_energy_release, fault_rupture(southwest_northeast)])], P = 0.1386 which is not the viterbi solution which is (eruption_vit.pl) P = 0.252, E = [rule(0, eruption, [eruption:0.6, earthquake:0.3, '':0.10000000000000003], [sudden_energy_release, fault_rupture(southwest_northeast)]), rule(1, sudden_energy_release, [sudden_energy_release:0.7, '':0.30000000000000004], []), rule(2, fault_rupture(southwest_northeast), [fault_rupture(southwest_northeast):0.6, '':0.4], [])]. - removed viterbi_all 24 December 2020, 10:13:33 UTC
bfa6474 renamed file 23 December 2020, 16:27:45 UTC
908407f examples showing that mpe does not compute the mpe expl nor the viterbi expl 23 December 2020, 16:23:13 UTC
5d93e1f restructuring mpe, map, viterbi code + manual 23 December 2020, 15:28:38 UTC
c8eb5ed loading of libraries before built_in 19 December 2020, 18:30:09 UTC
4388d7c new term exp lemur 06 December 2020, 09:14:35 UTC
669ae26 new term exp kbest 06 December 2020, 09:09:44 UTC
cf08614 new term exp pitaind 06 December 2020, 09:05:13 UTC
aae0e76 new term exp viterbi 06 December 2020, 08:58:47 UTC
1176d1a new term_exp for sc 06 December 2020, 08:48:36 UTC
47508cb reorganized term_expansion 06 December 2020, 08:02:10 UTC
3384d21 temp 22 November 2020, 16:13:50 UTC
95a045d Merge branch 'master' of github.com:friguzzi/cplint 14 November 2020, 18:19:39 UTC
0d7b0c0 fixed syntax of ex after Paulo Moura change 14 November 2020, 18:18:39 UTC
8721408 Merge pull request #42 from pmoura/fix_loading_conflicts_when_logtalk_is_loaded Fix pita.pl loading operator clash when Logtalk is loaded 14 November 2020, 18:00:06 UTC
049eaf2 Fix pita.pl loading operator clash when Logtalk is loaded 14 November 2020, 15:16:36 UTC
b1fd8b0 Merge pull request #41 from friguzzi/abduction Tests 12 November 2020, 07:23:34 UTC
760d963 Merge branch 'master' into abduction 11 November 2020, 21:20:30 UTC
96fe416 Merge remote-tracking branch 'origin/master' into abduction 11 November 2020, 21:19:54 UTC
back to top