GraduationDesign

Install Swipl http://www.swi-prolog.org/build/unix.html
Set environment variables(Should change file path according to your situation)

# cd to GraduationDesign
export NLM_HOME=$PWD
cp /usr/local/lib/swipl/lib/x86_64-linux/libswipl.so.7 $NLM_HOME/src/lib/  
export LD_LIBRARY_PATH=$NLM_HOME/src/lib:/usr/local/cuda:$LD_LIBRARY_PATH  
# for GPU user
# /usr/local/cuda:$LD_LIBRARY_PATH  
export SWI_HOME_DIR=/usr/local/lib/swipl/

Install required package

pip3 install numpy

First change the swipl_include_dir and swipl_lib_dir in setup.py to your own SWI-Prolog path.

cd src/prolog_cpp_interface
python3 setup.py install

install numpy tensorflow keras
pip3 install numpy
pip3 install tensorflow
pip3 intall keras

Run equaiton generator

python3 chess_generator.py

Change arguments in test_keras_mnist4.py and run

python3 chess_mnist4.py

Tony-HYX/GraduationDesign

GraduationDesign