neyyen@ecsvax.UUCP (Doreen Yen) (10/18/85)
I am looking for a good Prolog compiler for the IBM PC. I have been successively disappointed by these interpreters: MicroProlog, Prolog86. The Arity Interpreter has been OK, once I learned to put in a few gc calls. The compiler does not support floating point constants or strings in the code. The following does not compile. fact(imanatom). fact2('ishouldbe an atom too'). main :- fact(A), fact2(A2), write(A), nl, write(A2). I think they are calling 'ishouldbe an atom too' a string. ASCII lists work OK. fact("this works ok"). main :- fact(A), name(A2,A), write(A2). What I'm supposed to do is keep constants in a file and bring them in, recording them to an internal database, IDB, with recorda or recordz, and get them back with recorded(key,X,_). This is different from asserta and assertz. Also anything asserted by the pgm which references an evaluable predicate has to use the IDB. Some of this hassle is supposed to change from the present version 3.2 to version 4. Arity under the interpreter did pass all of Chris Moss's tests OK. Does anyone have news to report on other IBM PC Prolog Compilers? Say Expert Systems Intl. Prolog-2 or IF Prolog from W. Germany?