A Platform for Teaching Logic Programming Using Virtual Worlds | IEEE Conference Publication | IEEE Xplore