CoCalc -- simple-term.pl

📚 The CoCalc Library - books, templates and other resources

¹³²⁹⁴⁸ views
License: OTHER

1
nachbar(X, Y) :- farbe(X), farbe(Y), X \= Y.
2