| Bousi~Prolog: A Fuzzy Prolog System |
| FLOPER: A Fuzzy LOgic Programming Environment for Research |
| SYNTH: A Transformation System for Lazy Functional Logic Programs |
Declarative Programming and Automatic Program Transformation
| Bousi~Prolog: A Fuzzy Prolog System |
| FLOPER: A Fuzzy LOgic Programming Environment for Research |
| SYNTH: A Transformation System for Lazy Functional Logic Programs |