Boolean satisfiability problem
Horn-satisfiability is P-complete. It can be seen as P's version of the Boolean satisfiability problem.