A question about Common Prolog
Hi,
Recently I've learnt some Prolog and I want to use LW's Common Prolog as much as possible. In the KnowledgeWorks manual, A.10, "Edinburgh Syntax", it says Common Prolog provides a translator from Edinburgh syntax to allow users to port pre-existing code:
- The consult predicate operates only on .pl files,
- The reconsult predicate can operate on a Lisp source file,
But what kind of Lisp source files does the reconsult predicate accept? I don't see any way to translate a .pl file into .lisp file, but this is what I really want: I'm not that familiar with Prolog yet, and I don't know how to translate some Prolog clauses into DEFREF forms by myself, so it's better if I can see how Common Prolog does such translations.
Recently I've learnt some Prolog and I want to use LW's Common Prolog as much as possible. In the KnowledgeWorks manual, A.10, "Edinburgh Syntax", it says Common Prolog provides a translator from Edinburgh syntax to allow users to port pre-existing code:
- The consult predicate operates only on .pl files,
- The reconsult predicate can operate on a Lisp source file,
But what kind of Lisp source files does the reconsult predicate accept? I don't see any way to translate a .pl file into .lisp file, but this is what I really want: I'm not that familiar with Prolog yet, and I don't know how to translate some Prolog clauses into DEFREF forms by myself, so it's better if I can see how Common Prolog does such translations.
So, is there a way to see these translations before they're compiled into FASL files?
Thanks,
--
Chun Tian (binghe)
--
Chun Tian (binghe)