View gist:8126309
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/****************** Differential Calculus ***************/ | |
d( X, X, 1 ):- !. /* d(X) w.r.t. X is 1 */ | |
d( C, X, 0 ):- atomic(C). /* If C is a constant then */ | |
/* d(C)/dX is 0 */ | |
d( U+V, X, R ):- /* d(U+V)/dX = A+B where */ | |
d( U, X, A ), /* A = d(U)/dX and */ | |
d( V, X, B ), |
View gist:8126305
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/****************** Integral Calculus ***************/ | |
int( 0 , X , 0). | |
int( C , X , C * X ):- | |
atomic(C), | |
C \= X, !. | |
int( X , X , 0.5 * X^2 ):- !. | |
int( 1 / X , X , ln(X) ):- !. |
View gist:2864590
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;add the path where all the user modules will be located | |
(add-to-list 'load-path "~/.emacs.d/") | |
(autoload 'markdown-mode "markdown-mode.el" | |
"Major mode for editing Markdown files" t) | |
(setq auto-mode-alist | |
(cons '("\\.md" . markdown-mode) auto-mode-alist) | |
) |
View plugin-cfg.xml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0"?> | |
<Config ASDisableNagle="false" AcceptAllContent="false" IISDisableNagle="false" IgnoreDNSFailures="false" RefreshInterval="60" ResponseChunkSize="64"> | |
<Log LogLevel="Error" Name="/logs/http_plugin.log"/> | |
<VirtualHostGroup Name="default_host"> | |
<VirtualHost Name="*:80"/> | |
</VirtualHostGroup> | |