prolog - Sliding tile puzzle con diferentes tamaños de mosaico usando programación lógica

portable - Términos de Hilog en(XSB) Prolog

unit testing - test - Pruebas unitarias en XSB Prolog?