fixprolog