Adding notes.md for Logic Programming