Oops

2018-11-23 16:39:15 +00:00 · 2018-11-23 16:39:15 +00:00 · 870118990e
parent 7ec833fa46
commit 870118990e
1 changed files with 0 additions and 2 deletions
--- a/test.pl
+++ b/test.pl
@ -1,2 +0,0 @@
-:- use_module(library(clpfd)).
-foo(N) :- (nonvar(N), number(N));(var(N), N in inf..sup).