Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- use_module(library(clpfd)). constructor(m1, CM1). destructor(m1, DM1). constructor(m2, CM2). destructor(m2, 0). check(M) :- constructor(M, X), destructor(M, Y), X + Y #= 1. /** <examples> ?- X + Y #= 1, destructor(m2, X), constructor(m2, Y). ?- check(m2), destructor(m2, X), constructor(m2, Y). */