[Harrison Pratt]

In VIP 5.2 it was possible to have a domain defined with the same structure as a fact, as in (1) below. In 7.5 the compiler complains "The declaration conflicts with another declaration of 'test/2' in the scope."

Is there some way to declare a domain with the same name & structure as a fact, or must I use (2) strategy below?

Code: Select all

domains
        testDom = test( string, string ).    % (1) Causes declaration conflict
    % testDom = testDom(string,string). % (2) No error
 
class facts
    test : ( string, string ).
 
class predicates
    process : ( testDom ).
clauses
    process( TD ):-
        TD = testDom(S1,S2),
        % TD = test(S1,S2),
        stdio::write( S1, "\t", S2 ).

[Thomas Linder Puls]

You will have to use strategy (2), when the names are in the same class.