Intensional Programming is programming in a language based on intensional logic.
http://i.csc.uvic.ca/home/hei/tut.ise
http://www.baltimore-websites.com/gipsy-links.html