Logic programming researchers

Keith Leonard Clark (* 29. März 1943) ist ein britischer Informatiker. Er ist emeritierter Professor am Department of Computing des Imperial College London , England .

Maarten Herman van Emden (31. Dezember 1937 – 4. Januar 2023) war ein niederländisch-kanadischer Mathematiker und Informatiker, dessen Forschung auf dem Gebiet der Grundlagen der logischen Programmierung und der

Michael Genesereth (geb. 1948) ist ein US-amerikanischer Logiker und Informatiker , der vor allem für seine Arbeiten zur Computerlogik und deren Anwendungen in der Unternehmensführung , im computergestützten Recht und in

Robert Anthony Kowalski (* 15. Mai 1941) ist ein amerikanisch-britischer Logiker und Informatiker , dessen Forschung sich mit der Entwicklung sowohl nutzerorientierter Computermodelle als auch computergestützter Modelle

Verónica Dahl ist eine argentinisch - kanadische Informatikerin . Sie gilt als eine der 15 Begründerinnen des Gebiets der logischen Programmierung . Derzeit leitet sie die Prolog Education Group 2.0.