Losbarthos's repositories
Beginning-Logic
Build a Theorem Prover based on book Beginning Logic by Lemmon
swiplserver
Python library for using SWI Prolog
Language:PythonMIT000
Build a Theorem Prover based on book Beginning Logic by Lemmon
Python library for using SWI Prolog