Skip to content
Commit 4162c739 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

ECLiPSe-CLP correctly handles non-BAT predicates. 

Like standard names, they are mapped to distinct new predicates.
parent 0845304a
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment