User talk:Michael Gelfond/Draft ASProlog

TO DO LIST:


 * Example with not
 * all math to Latex
 * References
 * Insert in Category?