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