This is the droid your looking for:

  http://en.wikipedia.org/wiki/F-logic

T.