Ruby First Order Logic engine.