Skip to content

Instantly share code, notes, and snippets.

@eugeneai

eugeneai/swi-prolog EPROLOG section.

Last active September 10, 2016 08:20
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save eugeneai/d755711ad3457b00a7cb6729ba487674 to your computer and use it in GitHub Desktop.
Save eugeneai/d755711ad3457b00a7cb6729ba487674 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
swi-prolog EPROLOG section.
(setenv "EPROLOG" "c:/Program Files (x86)/swipl/bin/swipl.exe")
(if (eq window-system 'w32)
(progn
(if (file-directory-p "c:/GNU/bin")
(progn
(add-to-list 'exec-path "c:/GNU/bin")
)
)
(setq url-proxy-services '(("no_proxy" . "172.27.24.")
("http" . "titan.cyber:.......@172.27.100.5:4444")))
)
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment