search

bakaq / constrained.pl

Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.
The Unlicense
8 stars 2 forks source link

Weakness #4

Closed UWN closed 1 year ago

UWN commented 1 year ago 

?- functor_spec(T,F,T).
   functor_spec:functor_spec(T,F,T,_A), weak.
   T = 0, F = 0. % expected, but not found