[ library(http_client) | Reference Manual | Alphabetic Index ]
Compile an ECLiPSe source file, given its URL
- A string
This utility downloads an eclipse source file (given its URL)
and compiles it. Note that this represents a security risk: the downloaded
code may contain Eclipse commands that are executed on your computer.
Make sure you trust the code that you download!
This predicate is sensitive to its module context (tool predicate, see @/2).
[eclipse 1]: lib(http_client).
[eclipse 2]: http_compile("http://icparc.ic.ac.uk/eclipse/examples/sendmore.pl").
[eclipse 8]: sendmore1(X).
X = [9, 5, 6, 7, 1, 0, 8, 2] More? (;)
no (more) solution.