The languages like Goedel, ALF, LIFE etc. are currently more oriented to theory than to real-world applications. In real-life usage, we can give more chances to CLP which is sometimes assumed as a PROLOG lifesaver for practical applications.
