Scala's implicit resolution mechanism provides Prolog-like capabilities as well :-)