Robert Kowalski: Porovnání verzí

[[File:Robert Kowalski.jpg|thumb|Robert Kowalski]]'''Robert Anthony Kowalski''' ('''Bob Kowalski''', narozen [[15. květen|15. května]] [[1941]], Bridgeport, [[Connecticut]], [[Spojené státy americké|USA]]) se zabývá [[logika|logikou]] a [[počítačová věda|počítačovou vědou]]. Má [[Polsko|polské]] předky a většinu své kariéry strávil ve [[Spojené království|Velké Británii]]. Jeho jméno je asi nejvíce spojováno s vývojem [[logické programování|logického programování]], počínaje procedurální interpretací [[Hornova klauzule|Hornových klauzulí]]. Kowalski byl jedním z prvních vývojářů abduktivního logického programování, ve kterém jsou logické programy rozšířeny o integritní omezení a nedefinované abduktivní predikáty.