Temperance is a logic programming library for Common Lisp.
Temperance is still in development, don't actually try to use this for anything important yet.
Temperance is an implementation of the Warren Abstract Machine in Common Lisp, designed to let you write Lispy Prolog. Its main goals are:
Temperance was made with General Game Playing in mind (hence the focus on performance), but should be useful for anything you might normally use Prolog for.