A logical programming language that is more friendly than Prolog while  providing the ability to think in a similar way.