This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 2164 of 2,872·48. Programming ParadigmsPro lesson
Negation as Failure
How Prolog implements negation: assuming a goal is false if it cannot be proven true.