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
  • 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:[email protected]:4444")))
)
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment