Search found 73 matches

by mdosnov2016
22 Dec 2017 14:52
Forum: Visual Prolog
Topic: how to call a determ predicate in the top - leve goal
Replies: 5
Views: 2751

Re: how to call a determ predicate in the top - leve goal

I swear this is the line that it takes me to.
by mdosnov2016
22 Dec 2017 13:50
Forum: Visual Prolog
Topic: how to call a determ predicate in the top - leve goal
Replies: 5
Views: 2751

Re: how to call a determ predicate in the top - leve goal

Code: Select all

console::runUtf8(main::generate_top),
is the line responsible
by mdosnov2016
22 Dec 2017 7:34
Forum: Visual Prolog
Topic: how to call a determ predicate in the top - leve goal
Replies: 5
Views: 2751

how to call a determ predicate in the top - leve goal

I have the declaration: generate_top : core::runnable. and generate_top() :- not(file5x::existfile(itf_fact_dba)), !, itf_not_found_message. generate_top() :- %file5x::openfile(fileSelector::screen), %thread::start(go,maxStack), file5x::writedevice(fileSelector::screen), file5x::write("HLS CCC optim...
by mdosnov2016
21 Dec 2017 7:30
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

Re: how do I increase the stack limit

I meant, that I know how to declare a predicate (generate_top) to be a determ,
the problem is that then the expression:

console::runUtf8(main::generate_top),

doesn't work or it produces syntax errors.
by mdosnov2016
20 Dec 2017 18:08
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

Re: how do I increase the stack limit

Dear Thomas, I introduced the cut as you can see after the facts matching calls. Now I have the following problem, ----------------------------------- generate_top() :- not(file5x::existfile(itf_fact_dba)), itf_not_found_message. generate_top() :- %file5x::openfile(fileSelector::screen), %thread::st...
by mdosnov2016
15 Dec 2017 16:16
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

Re: how do I increase the stack limit

a lot of these lines, are ! cuts at the end of regular (non-recursive) clauses.
Shall I remove them?
by mdosnov2016
15 Dec 2017 16:11
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

Re: how do I increase the stack limit

Do the last-in-the-clause, cuts (!), cause the stack to increase?
by mdosnov2016
15 Dec 2017 0:07
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

Re: how do I increase the stack limit

I have turned all my recursive predicates into tail recursive using wrappers to call the first recursive iteration. However, now my program exhausts the stack earlier than before and I get the following message: C:\let\ccc\vp8ccc\backend\Exe>backend HLS CCC optimization started, please wait... Synth...
by mdosnov2016
18 Nov 2017 13:08
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

===== 2017-11-18 15:07:10 ======================= ---------------------------------------- System exception error code = 1 ExtraInfo = Exception C00000FD: Stack overflow systemException (runtime_exception) in runtime_exception::runtimeExceptionRaiser ---------------------------------------- main.pro...
by mdosnov2016
18 Nov 2017 6:50
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

I have turned ALL predicates in my program to determ, by introducing the ! (cut) call at the end of each
clause body.

However, all of my large tests hit "stack overflow" problem, and I am left without any options.
Does anybody know any way to increase the stack?

Thank you.
by mdosnov2016
13 Nov 2017 19:29
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

The 32-bit version of exe passes the test, no problem!
But how do I make the 64-bit version program to succeed as well?
by mdosnov2016
13 Nov 2017 15:27
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

I don't get an exception dump, or trace neither shift-F2 doesn't show anything
by mdosnov2016
13 Nov 2017 13:28
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

This is the message that I get when it crashes. C:\let\ccc\vp8ccc\backend\Exe64>backend HLS CCC optimization started, please wait... ===== 2017-11-13 15:28:11 ======================= ---------------------------------------- Non prolog exception TraceId = 00007FF9B3165DA4 TraceId_value = 140710428171...
by mdosnov2016
11 Nov 2017 8:27
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

The interesting think is that now within the debugger the test passes.
But when I execute the .exe it returns an error.
by mdosnov2016
11 Nov 2017 7:20
Forum: Visual Prolog
Topic: how do I increase the stack limit
Replies: 21
Views: 6220

Dear Thomas,
I have turned all of the called predicates into determ and it went a bit further but I am really in a position
that I cannot improve it further in this way.
Please give me an example of code to increase the stack.