[image] fifth-postulate/functional-geometry-in-prolog Functional Geometry in Prolog. Contribute to fifth-postulate/functional-geometry-in-prolog development by creating an account on GitHub.

Functional geometry in prolog

anniepoo May 19, 2020, 8:41pm 1

6 Likes

Topic		Replies	Views
Contributing libraries General	24	1194	March 20, 2019
Experimental library for type-class-like polymorphic predicates Announce	0	606	March 26, 2020
PrologHub.pl First Month Update (Discussion) Discussion	0	264	August 19, 2019
PrologHub launch: A community hub, a place to share, learn and keep up-to-date Announce	0	824	May 17, 2019
FCube 4.1, a Prolog prover for Intuitionistic Propositional Logic, now online Announce	0	574	December 20, 2021