Towords a Constraint-based Implementation of F-Logic