Masyu 1I
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 11:19 18 feb 2019 de Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "prolog"> %% Instancia 1. #const n=6. #const m=6. blanco(1,5). blanco(2,5). blanco(4,5). blanco(5,5). blanco(6,5). blanco(2,3). blanco(5,3). negro(1,1). n…»)
%% Instancia 1.
#const n=6.
#const m=6.
blanco(1,5). blanco(2,5). blanco(4,5).
blanco(5,5). blanco(6,5). blanco(2,3).
blanco(5,3). negro(1,1). negro(6,1).