Logic Programming on an FFP Machine