Commit Graph

6913 Commits

Author SHA1 Message Date
Vítor Santos Costa
1ee58c5922 use attributed variables 2013-09-29 17:41:02 +01:00
Vítor Santos Costa
7cf1b68c3a documentation and small fixes; also call for foreach 2013-09-29 11:31:18 +01:00
Vítor Santos Costa
bef9cec46a fix startup module on new thread to be user module 2013-09-28 23:20:39 +01:00
Vítor Santos Costa
577b99367d don't make mega-clauses always source 2013-09-28 18:20:04 +01:00
Vítor Santos Costa
048c00a7a6 fix writing [](_,_) 2013-09-28 12:12:09 +01:00
Vítor Santos Costa
72fe7e84c0 opaques are not integers 2013-09-28 12:06:01 +01:00
Vítor Santos Costa
5b6a3bffc1 iteration support 2013-09-28 12:04:52 +01:00
Vítor Santos Costa
e19b58cf53 use new matrix functionality 2013-09-28 11:11:42 +01:00
Vítor Santos Costa
b64965f22c new mapargs 2013-09-28 11:10:55 +01:00
Vítor Santos Costa
8c9025cdb4 improve and document matrix package 2013-09-28 11:09:57 +01:00
Vítor Santos Costa
3d863b1058 improve and document matrix package 2013-09-28 11:09:32 +01:00
Vítor Santos Costa
dd17f5a3aa include mapargs as separate support 2013-09-28 11:08:34 +01:00
Vítor Santos Costa
efddaab558 sudoku and for 2013-09-21 23:23:42 +01:00
Vítor Santos Costa
6033eba372 missing unlock. 2013-09-21 23:19:21 +01:00
Vítor Santos Costa
e7477d9888 foreach + fold (idea from BProlog) 2013-09-20 01:42:50 +01:00
Vítor Santos Costa
0f45b3dc42 foreach on matrices (idea from BProlog) 2013-09-20 01:16:25 +01:00
Vitor Santos Costa
28ff95f8de progress with matrix package 2013-09-19 17:59:37 +01:00
Vítor Santos Costa
ab4a6c0ae3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-09-19 14:35:46 +01:00
Vítor Santos Costa
285c61b87f development commit 2013-09-19 14:35:31 +01:00
Vítor Santos Costa
b2dcbe961c development commit 2013-09-19 14:34:44 +01:00
Vitor Santos Costa
fc0a260b4e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-09-19 14:23:52 +01:00
Vitor Santos Costa
448380c715 isupport opaque type testing. 2013-09-19 14:23:10 +01:00
Fabrizio Riguzzi
3659f9036c testing output 2013-09-17 14:10:08 +02:00
Fabrizio Riguzzi
b9d4868e37 Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 2013-09-17 13:04:44 +02:00
Fabrizio Riguzzi
faf7726452 test program 2013-09-17 13:04:22 +02:00
Vitor Santos Costa
ad9a973a26 fix opaque variables & threads 2013-09-17 09:54:02 +01:00
Vítor Santos Costa
1eab4bc936 fix case new thread is created from thread that never had a thread installed 2013-09-17 00:26:37 +01:00
Vítor Santos Costa
5ea258f885 thread support 2013-09-13 15:02:00 +01:00
Vitor Santos Costa
2cfa0081ad make syntax extensions SWI compatible 2013-09-13 11:44:26 +01:00
Vitor Santos Costa
e1208fc7ad fix () extension 2013-09-13 10:52:52 +01:00
Vitor Santos Costa
5cd9720593 DFA and TupleSet 2013-09-12 10:17:59 +01:00
Vitor Santos Costa
9d4c7a5c8c include min and max of lists 2013-09-11 22:01:18 +01:00
Vitor Santos Costa
23b860a977 scalar_product and a fix 2013-09-11 14:53:43 +01:00
Vitor Santos Costa
b30f0eafdf fixes to clpbn interface 2013-09-11 13:04:39 +01:00
Vitor Santos Costa
12d1e17dd3 first cut at supporting TupleSets 2013-09-11 12:31:07 +01:00
Vitor Santos Costa
99ab8e541b improve CLP support 2013-09-11 12:30:31 +01:00
Vitor Santos Costa
52c0d8a8de first cut at supporting TupleSets 2013-09-11 12:29:49 +01:00
Vitor Santos Costa
46c3c4546f examples 2013-09-10 09:57:26 +01:00
Vítor Santos Costa
77e1d9425b improve clpfd emulation 2013-09-10 00:53:54 +01:00
Vitor Santos Costa
8d14c15f3c merge 2013-09-09 23:49:41 +01:00
Vitor Santos Costa
eadfdbd646 clp like interface to gecode 2013-09-09 23:48:44 +01:00
Vitor Santos Costa
cda2e3bffe clp like interface to gecode 2013-09-09 23:48:02 +01:00
Vítor Santos Costa
a685b265b9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-09-09 22:11:39 +01:00
Vítor Santos Costa
fde44acdf3 ensure global environment when consulting 2013-09-09 22:11:12 +01:00
Fabrizio Riguzzi
50287c268b Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 2013-09-09 12:42:08 +02:00
Fabrizio Riguzzi
700cd2d9dc CLL->Score 2013-09-09 12:41:42 +02:00
Vítor Santos Costa
299816428c Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-09-08 22:24:48 +01:00
Vítor Santos Costa
8d92fa9369 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-09-08 22:24:24 +01:00
Vítor Santos Costa
6966d23195 fix P details when creating execution environment: we should save the old one 2013-09-08 22:24:09 +01:00
Fabrizio Riguzzi
52caac6548 aucpr as a score 2013-09-08 22:11:11 +02:00