GitHub - vsedov/prolog_notes: Notes on prolog

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
Basics		Basics
QuestionSheetNotes		QuestionSheetNotes
TreeSearchAlgos		TreeSearchAlgos
img		img
latex		latex
markdown		markdown
norg		norg
recursion		recursion
.gitignore		.gitignore
Predicate_Logic_Proof.pdf		Predicate_Logic_Proof.pdf
Propositional_logic.pdf		Propositional_logic.pdf
index.norg		index.norg
logic_circuits.pdf		logic_circuits.pdf
prolog_notes.md		prolog_notes.md
readme.norg		readme.norg

Repository files navigation

@document.meta
  title: readme
  description:
  authors: viv
  categories:
  created: 2022-02-26
  version: 0.0.11
@end
* Basic Readme

Notes on prolog

No releases published

No packages published