http://www.lix.polytechnique.fr/~catuscia/teaching/prolog/Manual/sec-6.html
http://www.lix.polytechnique.fr/~catuscia/teaching/prolog/Manual/sec-2.7.html#sec:2.7.2.1
Compilation
http://ce.sharif.edu/courses/83-84/1/ce417/resources/root/Softwares/SWI.HTM
No comments:
Post a Comment