Search found 73 matches

by mdosnov2016
15 Oct 2017 16:27
Forum: Visual Prolog
Topic: project goal
Replies: 14
Views: 4096

when I also declare: generate_top : () procedure. then I get the error: e631 The predicate 'backend::generate_top/0', which is declared as 'procedure', is actually 'determ' backend.pack can you please give me an example of how to call a predicate (determ) inside a procedure because I am confused and...
by mdosnov2016
15 Oct 2017 16:24
Forum: Visual Prolog
Topic: project goal
Replies: 14
Views: 4096

when I declare: run : () procedure (). and in clauses section: ... generate_top() :- not(file5x::existfile("ITF_FACT.DBA")), itf_not_found_message, !. generate_top() :- %openfile(stdout), %writedevice(Oldoutput), file5x::writedevice(fileSelector::screen), file5x::write(" backend HLS CCC string start...
by mdosnov2016
13 Oct 2017 16:10
Forum: Visual Prolog
Topic: project goal
Replies: 14
Views: 4096

Dear Thomas,

I 've done what you recommended but now I have the following error:


e631 The predicate 'goal/0', which is declared as 'procedure', is actually 'nondeterm' backend.pack


can you please help me a bit more.
Michael
by mdosnov2016
13 Oct 2017 10:09
Forum: Visual Prolog
Topic: project goal
Replies: 14
Views: 4096

project goal

I have the following structure: predicates ... ... generate_top() :- ... generate_top() :- ... run() :- % console::init(), % taskWindow::create(), generate_top, !. end implement backend goal backend::run(). and I receive the following compile error: e631 The predicate 'goal/0', which is declared as ...
by mdosnov2016
13 Oct 2017 6:43
Forum: Visual Prolog
Topic: application error
Replies: 1
Views: 931

application error

Dear all, while I am trying to remove all compiler errors from a migrated project and when I click on the build button I receive: Application 'c:\program files (x86)\visual prolog 8\bin64\vipcompiler.exe' terminated with return code 3221225725 (0xC00000FD). and the compiler terminates. Is there any ...
by mdosnov2016
13 Oct 2017 5:55
Forum: Visual Prolog
Topic: facts database in vp8
Replies: 24
Views: 6214

thank you Thomas,
and what is the correct syntax of the consult call to load these facts from external file database?

Michael
by mdosnov2016
13 Oct 2017 5:51
Forum: Visual Prolog
Topic: facts declaration
Replies: 1
Views: 921

facts declaration

I have the following structure according to the prolog notes: class backend open resourceIdentifiers domains ... facts .... predicates end class backend implement backend clauses ... in a backend.pack file: and I receive the following error: e154 The section 'facts' is not allowed here backend.pack ...
by mdosnov2016
11 Oct 2017 18:07
Forum: Visual Prolog
Topic: facts database in vp8
Replies: 24
Views: 6214

for example in my program I have the following structure: class backend open resourceIdentifiers domains file = input; output; specials_file; scr; keyboard();%standard functor screen(); %standard functor stdin(); %standard functor stdout(); %standard functor stderr(). %standard functor hdlform = str...
by mdosnov2016
11 Oct 2017 16:53
Forum: Visual Prolog
Topic: facts database in vp8
Replies: 24
Views: 6214

how do we implement external database fact loading (with consult) in vp8?

I tried with class facts ... but it doens't work.
I need a way to specify the syntax of the external file facts and a mechanism to refer to them
internally in my program.

Michael Dossis
by mdosnov2016
10 Oct 2017 16:27
Forum: Visual Prolog
Topic: facts database in vp8
Replies: 24
Views: 6214

facts database in vp8

hi all. I have migrated project which I am trying to compile with version 8. Inside the code the following facts database exists: implement backend % open fileSelector, core class facts - backend_dbase ... end backend_dbase clauses where I get a syntax error: error c150 : Syntax error how do I decla...
by mdosnov2016
10 Oct 2017 7:22
Forum: Visual Prolog
Topic: clear_fail
Replies: 2
Views: 1213

clear_fail

Dear all, how about the following error:

Type Action Description Filename Path
e229 Undeclared identifier 'exception::clear_fail/1' backend.pack

does anybody know where is located the predicate clear_fail ?

thanks in advance,
Michael
by mdosnov2016
9 Oct 2017 21:41
Forum: Visual Prolog
Topic: string, file5x, and platformSupport5x
Replies: 3
Views: 1248

Thank you Thomas,
and what include for file5x and platformSupport5x ?

Michael
by mdosnov2016
9 Oct 2017 17:29
Forum: Visual Prolog
Topic: string, file5x, and platformSupport5x
Replies: 3
Views: 1248

string, file5x, and platformSupport5x

can anybody tell me how to make concat work, since it doesn't recognise class string? State_name = string::concat("state_", State_num_str), ... the same problem (the classes are not visible) with file5x and platformSupport5x. any useful #include for example?... many thanks in advance, Dr Michael Dos...