search

BayesianLogic / blog

The BLOG programming language
http://bayesianlogic.github.io/
BSD 4-Clause "Original" or "Old" License
98 stars 31 forks source link

added size buildin function #217

Closed lileicc closed 10 years ago

lileicc commented 10 years ago

The following example is working:

type Person;
distinct Person P[100];
#Person ~ Poisson(10);
query size({p for Person p});

But this example is not

query size({1, 2, 3});

It is due to ExplicitSetSpec. will be fixed in a seperate issue/pr.

@cberzan ready for review.

cberzan commented 10 years ago

LGTM with minor comment

lileicc commented 10 years ago

Fixed comments. going to merge.