Losbarthos

Pinned Repositories

Beginning-Logic
Build a Theorem Prover based on book Beginning Logic by Lemmon
Language:Prolog0 1 00
swiplserver
Python library for using SWI Prolog
Language:Python0 0 00

Losbarthos's Repositories

Losbarthos/Beginning-Logic
Build a Theorem Prover based on book Beginning Logic by Lemmon
Language:Prolog0 1 00
Losbarthos/swiplserver
Python library for using SWI Prolog
Language:Python0 0 00