added logic programs
added benchmark script