Page 1 of 1

Discontiguous facts

Posted: 7 Mar 2014 17:17
by hrai36
I have a project in which I am dynamically saving facts (functors) . The facts so saved are not contiguous. Because of this when another part of the project uses these facts it is unable to process the newly added facts. How can I have prolog pick all the facts. I know there is a discontiguous directive, but how is it used in Visual prolog?

Posted: 7 Mar 2014 19:23
by Thomas Linder Puls
I think that I don't really understand the scenario. Are several programs running simultaneously and need to share data?

Posted: 7 Mar 2014 23:27
by Harrison Pratt
I believe that discontiguous is a compiler directive in other prologs. It may pop up in an error message at compilation or run time in those languages if clauses having the same signature are separated by one or more dissimilar clauses.

Posted: 9 Mar 2014 14:31
by Thomas Linder Puls
So this seems to be a question concerning some other Prolog context (i.e. other than Visual Prolog).

In any case, there is no discontiguous directive in Visual Prolog, and the concept of discontiguous facts does not exist.

Thanks

Posted: 9 Mar 2014 23:52
by hrai36
Thanks, I realize now that visual prolog does not require a directive. It automatically assumes discontinuous. My bad.

Posted: 10 Mar 2014 9:10
by Thomas Linder Puls
No problem. I have never realized that we should/could complain about non-contiguous facts ;-).

Posted: 10 Mar 2014 12:15
by George
I have a project in which I am dynamically saving facts (functors) . The facts so saved are not contiguous. Because of this when another part of the project uses these facts it is unable to process the newly added facts. How can I have prolog pick all the facts. I know there is a discontiguous directive, but how is it used in Visual prolog?
georgeananth.prolog@gmail.com