URLDownloadToFile

From wiki.visual-prolog.com

Revision as of 16:16, 19 February 2019 by Thomas Linder Puls (talk | contribs) (simplify)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

For downloading, there is a Windows API called URLDownloadToFile which can do the job.

In your program, add the lines:

class predicates
    uRLDownloadToFile : (handle, string URL, string File, unsigned Reserved, unsigned Callback) 
        -> unsigned Hresult language apicall.
 
class predicates
    doDownload : (string SourceURL, string Destfile) [used].
clauses
    doDownload(SourceURL, Destfile) :-
        Hresult = uRLDownloadToFile(nullHandle, SourceURL, Destfile, 0, 0),
        if winErrors::s_ok <> Hresult then
            exception::raise_nativeCallException("URLDownloadToFile", Hresult,
                [namedValue("SourceURL", string(SourceURL)), namedValue("Destfile", string(Destfile))])
        end if.