11 January 2008 - logic programming

logic programming - An idea to make computer programming easy by relying on innate human skill with logic. However, so far no one has proposed Aristotelian logic programming.