Report copyright - Arti cial Intelligence - cms.sic.saarland · Logic programming. Prolog et al. Databases. Deductive databases where elements of logic allow to conclude additional facts. Logic is tied
Please pass captcha verification before submit form