Name		Name	Last commit message	Last commit date
defin1		defin1
ex1		ex1
ex2		ex2
ex3		ex3
prolog		prolog
summer		summer
.gitignore		.gitignore
23-01-2022-findall.pl		23-01-2022-findall.pl
23-01-2022-gen.pl		23-01-2022-gen.pl
23-01-2022-miss.pl		23-01-2022-miss.pl
LICENSE		LICENSE
README.md		README.md

Repository files navigation

logic-programming-2019-2020

Teaching assist materials for Logic programming in winter and summer semesters of 2019-2020

About

Teaching assist materials for Logic programming in winter and summer semesters of 2019-2020

logic-programming prolog teaching-assistant teaching-materials

9 stars

5 watching

Report repository

Releases

Packages

Used by

Contributors

Languages