Recreational programming: Tacit programming in Prolog