Logic Programming

this file hasn't been written, it's a stub