Fail adalah suatu metode dalam prolog untuk mengubah nilai dari aturan klausa menjadi not. Dalam artian, aturan klausa yang diberi metode fail akan akan bersifat berlawanan. Misal:

suka (X, sayuran):-!,fail.

Artinya X suka sayuran bersifat fail atau sederhananya X tidak suka sayuran.

Contoh: