First-Order Logic (FOL)
A formal language for representing objects, relations, and functions in the world.

1/311