PREFIX es: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>