discuss.visual-prolog.com

Posted: **23 Oct 2017 6:05**

Thank you.
I just recall some statement from the old versions documentation that the facts need to be groupped.
But I had the same facts as now with the old 5.2x version and everything then was OK,
I don't understand why VP8 has a problem with these databases.

Michael

Posted: **23 Oct 2017 18:59**

There shouldn't be a problem if the file corresponds to the fact database declaration.

But perhaps the file has an endoding that is not handled correctly. Perhaps you can zip the file and attach it here?

Posted: **23 Oct 2017 21:07**

I modified a little your code as follows, in order to increment the line counter and then just understand where the error is with my database, however this gives me syntax errors.
Can you please help me with my recursive predicates?

showBadTerms(FN, Line) :-
IS = inputStream_file::openFile(FN),
check_Bad_Terms(FN, Line, IS),
IS:close(),
!.

check_Bad_Terms(_FN, _, IS) :-
IS:endOfStream(), !.

check_Bad_Terms(FN, Line, IS) :-
not(IS:endOfStream()),
S = IS:readLine(),
NLine = Line + 1,
%string::lastChar(S,S2,_), % you must remove the trailing '.'
if Term = tryToTerm(backend_dbase, S) then
% NOTE: you can try to convert a string to ANY fact term
% in the database and then assert it
%assert( Term ),
console::write("\nAsserted : ", Term)
else
console::write("\nFailed to assert line '", S, "' line : ", Line)
end if,
check_Bad_Terms(FN, NLine, IS),
!.

Posted: **24 Oct 2017 1:59**

You can use a mutable variable for line counting. See LineNum below.

Remember that VP 5.x database files do NOT have a trailing '.', unlike the VP 7.5 and (I assume) 8.0.

Also, your code will be much easier to read if you use the Code button to format it before posting.

Code: Select all

class predicates
    showBadTerms : ( string FileName ).
clauses
    showBadTerms( FN ):-
        LineNum = varm::new(0),
        IS = inputStream_file::openFile( FN ),
        IS:repeatToEndOfStream(),
            S = IS:readLine(),
            LineNum:value := LineNum:value + 1,
            string::lastChar(S,S2,_),  %  NOTE: there is NO trailing '.' in VP 5.x saved file
            if Term = tryToTerm( testDB, S2 ) then
                    assert( Term ),
                    console::write("\nAsserted : ", Term )
                else
                    console::write("\nFailed to assert line #", LineNum:value, "  '", S , "'")
            end if,
            IS:endOfStream(),
        IS:close(), !.
    showBadTerms( FN ):-
        stdio::write("\nAbnormal exit in ", predicate_fullname(), " reading ", FN ).

Posted: **24 Oct 2017 7:18**

thank you, but your code doesn't seem to work.
It gives me the error from the first line of the databse.
I attach here the sample dbase (confidentially).
Michael

Posted: **24 Oct 2017 7:38**

the
S = IS:readLine(),

doesn't work,
further down I added:

console::write(" the fact I read is : ", S),

and I get the attached file terminal output:

Michael

Posted: **24 Oct 2017 8:19**

Your file in in ANSI so you should use

Code: Select all

Posted: **24 Oct 2017 8:44**

I can consult your file with this program:

Code: Select all

implement main
 
class facts - db
    type_def : (integer, string, integer, string, integer, string, integer, integer, integer).
    op_def : (integer, string, string, integer, integer, integer, integer).
    hierarchy_part : (integer, string, integer, string, integer, integer, integer).
    data_stmt : (string, string, integer, integer, string, ii).
    local_object : (lo).
    prog_stmt : (string, integer, integer, integer, integer, integer, integer, integer).
    special_op : (string, integer, string, integer, integer, integer, string, integer, integer, integer).
    special_dt : (string, integer, string, integer, string, string, ii).
    state_node : (sn).
    source_is_normal_dt : (string, integer, integer).
    last_change_op_number : (string, integer, integer).
    change_op_number : (string, integer, integer).
    joint_stmt : (string, integer, integer, integer, integer, integer).
    cessor : (string, integer, integer).
    cessor_kind : (string, string, integer, integer, string, string, integer*).
    guard_cond : (string, integer, integer, string).
    guard_pair : (string, integer, integer, string).
    op_guards : (string, integer, integer*, integer*).
    predecessors : (string, integer, integer*).
    rec_stmt : (string, integer, integer*).
    var_guards : (string, integer, integer*, integer*).
 
domains
    ii =
        i(integer);
        sym(string);
        bit_wire(string).
    lo = local_object(string, integer, string, string, integer, string, string, integer, ii).
    sn = state_node(string, integer, cc).
    cc =
        dataflow(integer*, integer);
        ifthen(integer*, integer*, integer*, integer, integer);
        jump(integer*, integer).
 
clauses
    run() :-
        file::consult(@"..\ITF_FACT.DBA", db).
 
end implement main
 
goal
    console::runUtf8(main::run).

Posted: **25 Oct 2017 8:49**

Dear Thomas I am doing exactly the same as you,
and showBadTerms proceeds ok until the middle of local_object(local_object( facts (it asserts them ok)
but then sunddenly it interrupts and issues error: invalid handle.

I also tried the same dba file with fullstops (.) at the end of each line, and I get again the same
error.

I will send you confidentially the class facts portion and the goal portion of my project to look at,
and tell me if I am doing something wrong.

Posted: **28 Oct 2017 21:54**

I did some restructuring and it seems that consult is working OK now.
thanks,
Michael

discuss.visual-prolog.com

facts database in vp8