What do equations with 1s and 0s mean in clingo?
up vote
0
down vote
favorite
I have never used clingo before, and I find the online documentation incomplete (I also can't post to the Potassco forums). I have a piece of clingo code with lines of rules of the format
foo(L1, L2, L3) :- isa(thing,object), isa(thing, object)...
That part of the code makes sense, but at the end of the line before the final rule, I have the conditions either 1>0, 1<0, or 1==-1. I'm not sure what they mean, because they don't seem to follow normal boolean rules. Does anyone know what this means specifically in clingo?
clingo
asked yesterday
user2954167
2319
add a comment |
up vote
0
down vote
favorite
I have never used clingo before, and I find the online documentation incomplete (I also can't post to the Potassco forums). I have a piece of clingo code with lines of rules of the format
foo(L1, L2, L3) :- isa(thing,object), isa(thing, object)...
That part of the code makes sense, but at the end of the line before the final rule, I have the conditions either 1>0, 1<0, or 1==-1. I'm not sure what they mean, because they don't seem to follow normal boolean rules. Does anyone know what this means specifically in clingo?
clingo
asked yesterday
user2954167
2319
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I have never used clingo before, and I find the online documentation incomplete (I also can't post to the Potassco forums). I have a piece of clingo code with lines of rules of the format
foo(L1, L2, L3) :- isa(thing,object), isa(thing, object)...
That part of the code makes sense, but at the end of the line before the final rule, I have the conditions either 1>0, 1<0, or 1==-1. I'm not sure what they mean, because they don't seem to follow normal boolean rules. Does anyone know what this means specifically in clingo?
clingo
asked yesterday
user2954167
2319
I have never used clingo before, and I find the online documentation incomplete (I also can't post to the Potassco forums). I have a piece of clingo code with lines of rules of the format
foo(L1, L2, L3) :- isa(thing,object), isa(thing, object)...
That part of the code makes sense, but at the end of the line before the final rule, I have the conditions either 1>0, 1<0, or 1==-1. I'm not sure what they mean, because they don't seem to follow normal boolean rules. Does anyone know what this means specifically in clingo?
clingo
clingo
asked yesterday
user2954167
2319
asked yesterday
user2954167
2319
asked yesterday
user2954167
2319
asked yesterday
user2954167
2319
asked yesterday
user2954167
2319
2319
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53417008%2fwhat-do-equations-with-1s-and-0s-mean-in-clingo%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
