I searched the Help[ and this board for error c504
As near as I can tell, I have it correct but the complier keeps throwing the c504.
error c504 : The expression has type '() -> ::string procedure', which is incompatible with the type '::string'
Code: Select all
% The declaration: class predicates patient : (string). % I even made this nondeterm and I still get the C504 message. clauses patient(S) :- patresponses(S), stdio::write("you are repeating yourself."), stdio::nl, stdio::write(": "), S2 = stdio::readLine, patient(S2). patient(S) :- assert(patresponses(S)), assert(temp(S)).