.gitignore Tells git which files not to keep track of. cosc2012-2013.nkb Knowledge base for the COSC Undergraduate 2012-2013 calendar. native.pl The shell and inference engine. Heavily modified version specific for this project. op.pl Operators file. Included in other files when use of ops needed. readme.txt This file. Using SWI-Prolog: $ prolog -s native.pl ?- main.