Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
logic		logic
prolog		prolog
.gitignore		.gitignore
README.md		README.md
lp.sty		lp.sty
lp.tex		lp.tex
mybgdef.sty		mybgdef.sty
mysymbols.sty		mysymbols.sty

Repository files navigation

lp

Логическо програмиране

About

Логическо програмиране

first-order-logic logic-programming prolog

1 star

4 watching

Report repository

Releases

Packages

Contributors

Languages