- Install SWI-Prolog - http://www.swi-prolog.org
- Install Prolog extension for VS Code (VSC-Prolog)
- (optional) Add swipl executable to Path (usually ${INSTALL_PATH}/bin/)
- Run swipl.exe
- Load database (eg. differentiation) as "[differentiation]."
- Ask queries