Report - Hornklauseln und Prolog - math.uni-bonn.de€¦ · let pos,neg = partition positive cls in if length pos > 1 then failwith "non-Horn clause" ... Parser Der Parser wandelt Prolog-Regeln

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form