GitHub - toduko/logic-programming: Материалите ми за упражнения по "Логическо програмиране"

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
.gitignore		.gitignore
def-sat-2024-2025.pdf		def-sat-2024-2025.pdf
def-sat-2024-2025.tex		def-sat-2024-2025.tex
definability.pdf		definability.pdf
definability.tex		definability.tex
fol.pdf		fol.pdf
fol.tex		fol.tex
predicates.pl		predicates.pl
prolog-2024-2025.pdf		prolog-2024-2025.pdf
prolog-2024-2025.tex		prolog-2024-2025.tex
satisfiability.pdf		satisfiability.pdf
satisfiability.tex		satisfiability.tex