Name		Name	Last commit message	Last commit date
BE1		BE1
BElogique.pdf		BElogique.pdf
README.md		README.md
carre.pl		carre.pl
carte.pl		carte.pl
coloriage.pl		coloriage.pl
coloriage_contrainte.pl		coloriage_contrainte.pl
derivation.pl		derivation.pl
ordonnancement1.pl		ordonnancement1.pl
ordonnancement2.pl		ordonnancement2.pl
somme.pl		somme.pl
somme_contrainte.pl		somme_contrainte.pl
test.pl		test.pl

Repository files navigation

Mathematical logic and logic programming

Prolog code for simple use cases

About

Lecture Mathematical logic and logic programming @CentraleSupélec

logic swiprolog

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages