Visualising logic programs in virtual worlds. - Themis Panayiotopoulos; Spyros Vosinakis; Sophia Kousidou; L. Balafa (VRST, 1999)